松坂和夫『集合・位相入門』第3章を徹底理解する その2 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
松坂和夫『集合・位相入門』第3章についてのスレです。
質問や議論、問題解答など。 前スレの
106 :1 ◆yyxoXJ2Wgo :04/10/06 21:05:39
(C)
(@)、(A)、(B)、(C)を満たす A の部分集合に、W_0
が含まれれば、何も証明することはない。よって、W_0 は上記集合
に含まれないと仮定する。
W_0 の元 x を x_0 と異なり、かつ W_0 の中に直前の元をもたない元
とする。
W_0 の定義から、(@)、(A)、(B)、(C)を満たす A の部
分集合 W が存在して、x ∈ W となる。W ≠ W_0 であるから、
W = W_0<x'> (for some x' ∈ W_0)とかける。
W = W_0<x'> は(C)を満たすから、
(W_0<x'>)<x> = W_0<x> の A における上限は、 x である。
についてですが、 x は W の中にも直前の元をもたないことはどうやって示すのでしょうか? あ、分かった。
以下のように書かなきゃ減点だね。
(@)、(A)、(B)、(C)を満たす A の部分集合に、W_0
が含まれれば、何も証明することはない。よって、W_0 は上記集合
に含まれないと仮定する。
W_0 の元 x を x_0 と異なり、かつ W_0 の中に直前の元をもたない元
とする。
W_0 の定義から、(@)、(A)、(B)、(C)を満たす A の部
分集合 W が存在して、x ∈ W となる。W ≠ W_0 であるから、
W = W_0<x'> (for some x' ∈ W_0)とかける。
z < x, z ∈ W とする。 z ∈ W_0 で x ∈ W_0 は W_0 の中に直前の元をもたないから、
z < y < x となる y ∈ W_0 が存在する。 y < x < x' だから y ∈ W である。よって、
x ∈ W は W の中に直前の元をもたない。
W = W_0<x'> は(C)を満たすから、
(W_0<x'>)<x> = W_0<x> の A における上限は、 x である。 106 :1 ◆yyxoXJ2Wgo :04/10/06 21:05:39
(C)
(@)、(A)、(B)、(C)を満たす A の部分集合に、W_0
が含まれれば、何も証明することはない。よって、W_0 は上記集合
に含まれないと仮定する。
W_0 の元 x を x_0 と異なり、かつ W_0 の中に直前の元をもたない元
とする。
W_0 の定義から、(@)、(A)、(B)、(C)を満たす A の部
分集合 W が存在して、x ∈ W となる。W ≠ W_0 であるから、
W = W_0<x'> (for some x' ∈ W_0)とかける。
W = W_0<x'> は(C)を満たすから、
(W_0<x'>)<x> = W_0<x> の A における上限は、 x である。
W_0 が (C) を満たさないと仮定し、 W_0 の元 x(≠x_0)が W_0 の中に直前の元をもたないとする。
W_0 の定義により、(@)、(A)、(B)、(C)を満たす A の部分集合 W で、x ∈ W となるような
ものが存在する。 W ≠ W_0 だから、p.107の系より x' を W_0 の元として、 W = W_0<x'> と書ける。
z < x, z ∈ W とする。 z ∈ W_0 で x ∈ W_0 は W_0 の中に直前の元をもたないから z < y < x となる
y ∈ W_0 が存在する。 y < x < x' だから y ∈ W である。よって、 x ∈ W は W の中に直前の元をもたない。
W は (C) を満たすから、 x = sup_A W<x> = sup_A (W_0<x'>)<x> = sup_A W_0<x> となる。よって W_0 は
(C) を満たす。これは矛盾である。 スレタイとは違うけど解析入門全6巻オンデマンドで復刊するんだってね。一冊4000切るみたい 「X を距離空間とし、 A を X の部分集合とする。
X の点 a が A - {a} の触点であるとき、 a は A の集積点とよばれる。」
と教科書に書いてあります。
なぜ、
「X を距離空間とし、 A を X の部分集合とする。
X の点 a が A - {a} の境界点であるとき、 a は A の集積点とよばれる。」
と書かないのでしょうか? 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f) 位相(空間)をやる理由は、以下の通り。
0.定義、補題、命題、定理から、新たな定理・命題を導くという
数学の記述スタイルがわかる
1.抽象的思考ができる
2.距離空間がより明確になる(実数、複素数を含む、また微積分)
3.いろんな分野の基礎(多様体、関数解析など)になる
問題を解くことは大事だが、0、1,2について明確なイメージを持もち、
自分で勉強できるようになることが重要。
大学4年間で深くやりすぎると他に何もできなくなるので、松坂あたりで止めておく。
ちなみに、俺の場合は、亀谷(朝倉書店)でやった。 ちょい、訂正
3.将来いろんな分野の基礎(多様体、関数解析など)になる
問題を解くことは大事だが、0、1,2について明確なイメージをもち、
必要になったら、自分でさらに勉強できるようになることが重要。
代数多様体が、非ハウスドルフ性を持つことを理解できて
始めて、位相空間がわかった気がした。 ところで、松坂本の3章で、どの程度まで位相空間の内容をカバーするものなの?
目次はどこかにある? 某国立大学の図書館内を歩いていたら、現代数学概説 IIを手に入れた。
https://www.iwanami.co.jp/book/b259032.html
多分、蔵書の入れ替えで廃棄対象となり、お持ち帰りコーナーに陳列されて
いたんだと思う。この本を読めば、位相・測度・積分がわかる。
本気で数学をやりつもりなら、この本でやれば、解析の基礎は出来上がる。 >>50
その本、古本でえらく安い値段で出ているから、
内容はあまりよくないんだろうなと思う。
内容がいい本は古本でも値段つくからねえ。 >内容がいい本は古本でも値段つくからねえ。
評論家目線でご立派だが、内容が良くて、価格が安い本、いっぱいあるよ。
安いー>ダメ本、は真ならず。
あと、評判良くないけど、ノートを取りながら読むと為になる本もある。
要は、本は読み手がどう読むか、が大事。 オレが気になってる本をボロボロになるまで読み込んでいる人がいて、かつ
その評価が結構悪いことになってる(酷評)、という書き込みを見つけた。
こういう読者に読まれた本(および著者)は幸せだと思った。 何か今日丸善行ったら、解析や線形代数、代数系、集合・位相までシリーズみたいにした軽装版出てたよ
詳しい人情報プリーズ >>52
いくら安かろうと金かかるなら本なんて無駄だし為にならないよ
要は、頭の中で何を考えるか、が大事 491色川高志「井口千明の金属バット集団殴打撲殺を熱望します」2018/10/18(木) 18:33:15.90ID:78662J73
龍神連合五代目総長・井口千明(葛飾区青戸6−23−19)の挑発
井口千明「糞関東連合文句があったらいつでも俺様を金属バットで殴り殺しに来やがれっ!! 糞関東連合の見立・石元・伊藤リオンの糞野郎どもは
龍神連合四代目総長の俺様がぶちのめしてやるぜっ!! 賞金をやるからいつでもかかって来いっ!! 糞バエ関東連合どもっ!! 待ってるぜっ!!」(挑戦状)
492盗聴盗撮犯罪者色川高志(青戸6−23−21ハイツニュー青戸1032021/02/03(水) 13:53:22.55ID:QtP78E4Z
●青戸六丁目被害者住民一同「盗聴盗撮犯罪者の高添沼田ハゲエロ老義父の逮捕を要請します」
長木親父&長木よしあき(盗聴盗撮犯罪者の高添沼田ハゲエロ老義父を逮捕に追い込む会&被害者の会会長)住所=東京都葛飾区青戸6−23−20
●盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父
高添沼田ハゲエロ老義父の住所=東京都葛飾区青戸6−26−6
【通報先】亀有警察署=東京都葛飾区新宿4ー22ー19 рO3ー3607ー0110
盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父の盗聴盗撮つきまとい嫌がらせ犯罪者/愛人変態メス豚家畜清水婆婆(青戸6−23−19)の
五十路後半強制脱糞
http://img.erogazou-pinkline.com/img/2169/scatology_anal_injection-2169-027.jpg
アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父によりバスタブで清水婆婆の巨尻の肛門にシャワーのキャップをはずしてずっぽり挿入。
そして、大量浣腸。 勢い良く噴出!腸内洗浄状態です。
http://101.dtiblog.com/b/bodytk9690/file/kan01.jpg
浣腸器と異なりどくどくと直腸内に注入され清水婆婆は激しくあえぎます 第三章って・・・ああ、順序集合か
Zornのレンマが理解できんのか?
どこがどうわからんのか、書いてみろw ■ このスレッドは過去ログ倉庫に格納されています