、ウ、ホ・レ。シ・ク、、マ、ニ、ハ・ヨ・テ・ッ・゙。シ・ッ、ヒトノイテ、ウ、ホ・レ。シ・ク、エ゙、爨マ、ニ、ハ・ヨ・テ・ッ・゙。シ・ッ 、ウ、ホ・レ。シ・ク、livedoor ・ッ・・テ・ラ、ヒトノイテ、ウ、ホ・レ。シ・ク、エ゙、瀝ivedoor ・ッ・・テ・ラ
#divid(s,thorem)
[トオチ]キイG、ネキイG'、ャ''ニアキソ''、ヌ、「、、ネ、マ。「[[ニアキソシフチ]]f:G「ェG'、ャセッ、ハ、ッ、ネ、1、トツクコ゚、ケ、、ウ、ネ、ヌ、「、。」~
キイG、ネキイG'、ャニアキソ、ヌ、「、、ウ、ネ、。「&mimetex("G \cong G'");、ネ、、、ヲオュケ讀ヌノス、ケ。」
#divid(e,thorem)

#divid(s,thorem)
[トヘ]GSUB{1};、ネGSUB{2};、カヲ、ヒキイ、ネ、ケ、。」~
&mimetex("G_1 \cong G_2");、ハ、鬢ミ。「&mimetex("G_2 \cong G_1");、ネ、ハ、。」
#divid(e,thorem)

。。、ウ、ホトヘ、マナ、ソ、チー、ヒサラ、ィ、、ャ。「、ス、ヲテアス网ヌ、マ、ハ、、。」

。。&mimetex("G_1 \cong G_2");、ネ、マ。「ニアキソシフチf:GSUB{1};「ェGSUB{2};、ャセッ、ハ、ッ、ネ、1、トツクコ゚、ケ、、ネ、、、ヲ、ウ、ネ、ヌ、「、。」~
。。ーハ。「&mimetex("G_2 \cong G_1");、ネ、マ。「ニアキソシフチg:GSUB{2};「ェGSUB{1};、ャセッ、ハ、ッ、ネ、1、トツクコ゚、ケ、、ネ、、、ヲ、ウ、ネ、ヌ、「、。」

。。、ウ、ホ2、ト、ャフタ、鬢ォ、ヒニア、ク、ウ、ネ、ネ、マ、、、ィ、ハ、、。」

#divid(s,proof)
[セレフタ、ホハソヒ]ニアキソシフチf:GSUB{1};「ェGSUB{2};、ャセッ、ハ、ッ、ネ、1、トツクコ゚、ケ、、ウ、ネ、タ、ォ、鬘「、ウ、ホf、サネ、テ、ニ。「ニアキソシフチg:GSUB{2};「ェGSUB{1};、1、トコ、テ、ニ、キ、゙、ィ、ミ、隍、。」

[セレフタ]

[1]g、ャツクコ゚、ケ、、ウ、ネ、シィ、ケ

GSUB{2};、ホクオxSUB{2};、ヌ、ーユ、ヒ1、トシ隍。」

f、マニアキソシフチ、タ、ォ、鬘「GSUB{2};、ホクオ、マ、ケ、ル、ニf(x) (x「コGSUB{1};)、ホキチ、ヒノス、オ、、、ホ、ヌ。「シ。、ホ、隍ヲ、ヒス、ア、。ハニアキソシフチ、ホ3ネヨフワ、ホセキ。ヒ。」

xSUB{2};=f(xSUB{1};), xSUB{1};「コGSUB{1};

、゙、ソ。「ニアキソシフチ、ホ2ネヨフワ、ホセキ、隍遙「。ヨf(xSUB{1};)=f(xSUB{1}'), xSUB{1};。窗SUB{1};'。ラ、マタョ、ホゥ、ソ、ハ、、。」

、隍テ、ニ。「xSUB{2};=f(xSUB{1};)、ヒ、ソ、ケGSUB{1};、ホクオxSUB{1};、マ。「。ハxSUB{2};、ヒツミ、キ、ニ。ヒ、ソ、タ1、ト、キ、ォ、ハ、、、ホ、ヌ。「、ス、、g(xSUB{2};)、ス、ッ。」

、ウ、、ヌ。「g:GSUB{2};「ェGSUB{1};、ャトオチ、オ、、ソ。」

[2]ク螟マ。「、ウ、ホg、ャニアキソシフチ、ヌ、「、、ウ、ネ、シィ、サ、、ミ、隍、。」

()g、ャス猗アキソシフチ、ヌ、「、、ウ、ネ、シィ、ケ

xSUB{2};,ySUB{2};「コGSUB{2};、ホ、ネ、ュ。「xSUB{2};=f(xSUB{1};),ySUB{2};=f(ySUB{1};), xSUB{1},ySUB{1};「コGSUB{1};、ネス、ア、。」

xSUB{2};ySUB{2};~
=f(xSUB{1};)f(ySUB{1};)。。。ハ「霎蠏ュ、隍遙ヒ~
=f(xSUB{1};ySUB{1};)。。。ハ「鑁、マス猗アキソシフチ、タ、ォ、鬘ヒ

、隍テ、ニ。「シ。、ャタョ、ホゥ、ト、ソ、癸「g、マス猗アキソシフチ、ヌ、「、。」

g(xSUB{2}ySUB{2};)~
=xSUB{1};ySUB{1};。。。ハ「霈フチg、ホトオチ、隍遙ヒ~
=g(xSUB{2};)g(ySUB{2};)。。。ハ「鑁(xSUB{2};)=xSUB{1};,f(ySUB{2};)=ySUB{1};。ヒ

()GSUB{2};、ホーロ、ハ、クオ、ャg、ヒ、隍テ、ニニア、ククオ、ヒーワ、オ、、、ウ、ネ、マ、ハ、、、ウ、ネ、シィ、ケ

xSUB{2};、ネySUB{2};、ャGSUB{2};、ホクオ、ヌ。「g(xSUB{2};)=g(ySUB{2};)、ネ、ハ、。」

g(xSUB{2};)=g(ySUB{2};)~
f(g(xSUB{2};))=f(g(ySUB{2};))。。。ハ「鑁、ヌーワ、キ、ソ。ヒ~
xSUB{2};=ySUB{2};。。。ハ「鑒、ホトオチ、隍遙「xSUB{2};=f(g(xSUB{2};))。「ySUB{2};=f(g(ySUB{2};))。ヒ

()GSUB{1};、ホクオ、マ、ケ、ル、ニg(x) (x「コGSUB{2};)、ホキチ、ヒノス、オ、、、ウ、ネ、シィ、ケ

xSUB{1};、GSUB{1};、ホヌ、ーユ、ホクオ、ネ、ケ、、ネ。「xSUB{2};=f(xSUB{1};)、マGSUB{2};、ホクオ、ヌ。「g(xSUB{2};)=xSUB{1};、ネ、ハ、。」

、キ、ソ、ャ、テ、ニ。「g:GSUB{1};「ェGSUB{2};、マニアキソシフチ、ヌ、「、。」。。「「
#divid(e,proof)

。。2、ト、ホキイ、ャニアキソ、ホ、ネ、ュ。「、ス、、鬢マキイ、ネ、キ、ニニア、クケスツ、、サ、ト。」

。。キイGSUB{1};、ネキイGSUB{2};、ャニアキソ、ヌ、「、、ネ、ケ、。」

。。f:GSUB{1};「ェGSUB{2};、ニアキソシフチ、ホ1、ト、ネ、ケ、。」、ウ、ホ、ネ、ュ。「GSUB{1};、ホクオ、ネGSUB{2};、ホクオ、ネ、マ1ツミ1ツミア、キ、ニ、、、。」、ハ、シ、ハ、鬘「GSUB{1};、ホクオx、マf、ヒ、隍テ、ニ。「GSUB{2};、ホクオf(x)、ヒーワ、オ、、、ャ。「オユ、ヒGSUB{2};、ホクオf(x)、ォ、鮑ォ、ニ。「GSUB{1};、ホクオ、ヌf、ヒ、隍テ、ニf(x)、ヒーワ、オ、、、筅ホ、マx、タ、ア、キ、ォ、ハ、、、ォ、鬘「f(x)、ヒx、ツミア、オ、サ、、ウ、ネ、ャ、ヌ、ュ、。」

。。GSUB{2};、ホクオ、マ、ケ、ル、ニf(x)、ホキチ。ハx「コGSUB{1};。ヒ、ヒノス、オ、、、ォ、鬘「GSUB{1};、ホクオ、ネGSUB{2};、ホクオ、ネ、ャ1ツミ1ツミア、キ、ニ、、、、ウ、ネ、ャ、、ォ、。」


#divid(s,thorem)
[トヘ]キイG、ネキイG'、ャニアキソ、ハ、鬢ミ。「|G|=|G'|、ヌ、「、。」
#divid(e,thorem)

#divid(s,proof)
[セレフタ]キイG、ネキイG'、ャニアキソ、ハ、鬢ミ。「G、ホクオ、ネG'、ホクオ、マ1ツミ1、ヒツミア、ケ、。」

クオ、ャ1ツミ1、ヒツミア、ケ、、ホ、ヌ。「クオ、ホクトソ、マーテラ、ケ、。」。。「「
#divid(e,proof)

*サイケヘハクク・ [#r4f50521]

-。リキイマタ、ハ、、ォ、ウ、、ッ、ハ、、。ル