[過去ログ]
数学の本 第98巻 (1002レス)
数学の本 第98巻 http://rio2016.5ch.net/test/read.cgi/math/1710406925/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
391: 132人目の素数さん [] 2024/06/16(日) 11:35:50.97 ID:u+1dTVIO H. L. Royden著『Real Analysis Third Edition』 p.23 Problem 26 選択公理と再帰的定義の一般化された原理を使って、各無限集合 X は可算無限部分集合を含むことを示せ。 この問題ですが、松坂和夫著『集合・位相入門』では、選択公理を使って示しています。 ですが、再帰的定義については当たり前のこととして何も注意していません。 一般化された再帰的定義の原理とは、 X を集合とする。 各自然数 n に対して f_n を X^n から X への関数とする。 a ∈ X とする。 そうすると、 X の列 <x_i> で x_1 = a および x_{i+1} = f_i(x_1, …, x_i) であるようなものが一意的に存在する。 この原理を使うと解答は以下のようになります。 X のすべての部分集合からなる集合を P(X) と書く。 M を P(X) から空集合を除いた集合とする。 選択公理によって、 M から X への写像 g で g(A) ∈ A であるようなものが存在する。 n を任意の自然数とする。 X^n から X への関数 f_n を以下で定義する。 f_n(x_1, …, x_n) = g(X - {x_1, …, x_n}) a を X の任意の元とする。 一般化された再帰的定義の原理により、 X の列 <x_i> で x_1 = a, x_{i+1} = f_i(x_1, …, x_i) を満たすようなものが一意的に存在する。 明らかに、 i ≠ j ならば x_i ≠ x_j である。 {x_1, x_2, …} は X の可算無限部分集合である。 http://rio2016.5ch.net/test/read.cgi/math/1710406925/391
395: 132人目の素数さん [] 2024/06/16(日) 18:32:51.56 ID:u+1dTVIO H. L. Royden著『Real Analysis Third Edition』 半順序の定義がまた癖が強いです。 a < b かつ b < c ⇒ a < c a < b かつ b < a ⇒ a = b この2つの条件を満たすとき半順序といっています。 そして、 すべての a に対して a < a が成り立つときrelexive半順序と言っています。 すべての a に対して a < a が成り立たないときstrict半順序と言っています。 癖が強すぎますよね。 http://rio2016.5ch.net/test/read.cgi/math/1710406925/395
396: 132人目の素数さん [] 2024/06/16(日) 18:50:36.01 ID:u+1dTVIO 癖が強すぎる本なので、読み続けるかどうか迷っています。 癖が強いので、勉強になる面もあります。 やはりAxlerさんの本のほうがいいですかね? http://rio2016.5ch.net/test/read.cgi/math/1710406925/396
399: 132人目の素数さん [] 2024/06/16(日) 20:57:36.25 ID:u+1dTVIO H. L. Royden著『Real Analysis Third Edition』 p.26 Problem 30 Give an example of a partially ordered set that has a unique minimal element but no smallest element. 解答: 有限集合だとダメそうですね。 {0, -1, -2, …} ∪ {i} は半順序集合であり、 i はただ一つの極小元です。最小元は存在しません。 河東さんはRoydenの本の演習問題を褒めていましたが、この問題などはくだらない問題ですよね。 http://rio2016.5ch.net/test/read.cgi/math/1710406925/399
400: 132人目の素数さん [] 2024/06/16(日) 21:16:17.65 ID:u+1dTVIO 公理的でない集合論の日本語の本で良い本はありますか? http://rio2016.5ch.net/test/read.cgi/math/1710406925/400
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.041s