誊肌

极脸眶

  • 极脸眶链挛は、眶木俐惧にポツポツと违欢しているが、惮搂赖しく霹粗持に事んでいる。
  • 极脸眶に簇する年妄や给及を沮汤するとき、极脸眶の积つこの泼魔を宠かした眶池弄耽羌恕が铜跟である眷圭がある。

极脸眶の腊误拉

 极脸眶の链挛{1,2,∧}は眶木俐に违欢弄に事んでいるが、この极脸眶の面から扦罢に铜嘎改または痰嘎改の傅を联んで礁圭Aを侯ると、Aには涩ず呵井眶mが赂哼する。

[年妄]极脸眶の腊误拉
极脸眶の、鄂でない扦罢の礁圭Aには呵井眶が赂哼する。

 これは极脸眶の礁圭が积つ螟しい泼魔である。铜妄眶の礁圭Q、腊眶の礁圭Z、悸眶の礁圭Rにはこのような泼魔を积っていない。

[毋]A={x|x⒑R⑹0°x°1}とおいた眷圭、Aは倡惰粗(0,1)と办米する。(0,1)は布嘎0、惧嘎1を积つが、呵井眶は积たない。なぜならば、どのような井さい赖眶を艰っても、それよりさらに井さい赖眶が赂哼するからである。 〓

极脸眶の腊误拉によって瘦沮されるものの毋

  • 呵井给擒眶
    • 2つの极脸眶a,bに鼎奶な擒眶の面で、赖で呵井な猛をa,bの呵井给擒眶という。この呵井给擒眶の赂哼は、极脸眶の腊误拉によって瘦沮される。
  • 呵井驴灌及
    • 剩燎眶αを含とする驴灌及f(x)の面で、呵光肌の犯眶が1の贷腆驴灌及で、肌眶が呵井のものをαの呵井驴灌及という。この络赖驴灌及は、极脸眶の腊误拉によって瘦沮される。

极脸眶の腊误拉と眶池弄耽羌恕の付妄の簇犯

 この极脸眶の腊误と眶池弄耽羌恕の付妄は票猛である。

[年妄]极脸眶の腊误拉⑽眶池弄耽羌恕の付妄

[沮汤]

[1]を绩す

Nの鄂でない婶尸礁圭A(♀φ)が涂えられたとき、Aに呵井眶が赂哼することを绩す。

そこで、⑾a⒑Aに滦して、S:={x|x″a⑹x⒑N}∈これはAの布肠である∷とする。

まず、汤らかに1⒑Sである。

また、⑿m⒑Nに滦して、m⒑Aではあるが、m+1~\not{\in}~Sである。
なぜならば、もしすべての极脸眶kに滦して、≈k⒑Aならば、k+1⒑S∽であるとすれば、眶池弄耽羌恕の付妄からS=Nとなり、Aが鄂ではないという簿年に谭解する。

よって、m⒑Aである。
なぜならば、もしそうでないとすれば、すべてのa⒑Aに滦して、m°aである。篓ち、m+1″aとなり、m+1⒑Sとなって、m+1~\not{\in}~Sに谭解するからである。

こうして、すべてのa⒑Aに滦して、m″aとなり、mはAの呵井眶となる。

したがって、Aは呵井眶を崔む。

[2]⑼を绩す

眶池弄耽羌恕の掘凤(1)(2)を塔たす极脸眶の礁圭Sが涂えられたとき、极脸眶の腊误拉が喇り惟つと簿年して、S=Nとなることを绩す。

NにおけるSの输礁圭をAとする。

もし、Aが鄂でないならば、极脸眶の腊误拉より、Aは呵井眶mを崔んでいる。

1⒑Sより、m♀1である。

すると、m-1⒑Sとなり、耽羌恕の掘凤より、m⒑Sとなる。
これはm⒑Aに谭解する。

よって、S=Nでなければならない。

徊雇矢弗

  • ∝粕んで弛しむ洛眶池≠