作者yhliu (老怪物)
看板Math
标题Re: [其他] Well-ordering的问题
时间Mon Feb 7 16:50:34 2011
※ 引述《recorriendo (孟新)》之铭言：
: Let D be the set of decreasing functions f: N -> N. (N 是自然数集)
: The relation < on D is defined as follows: f < g iff there is an natural
: number n such that f(n) < g(n) and f(i)=g(i) for all i < n.
: Let S be a nonempty subset of D. Show that S has a least element under <.
: 想了一些方法可是好像都不太对
: 不知道有没有熟悉集合论的高手帮忙解此题
依题意可得:
任两函数 f, g in D 或者 f=g 或者 f<g 或者 g<f,
恰一成立.
就 S 中之成员 f, 考虑 f(1).
A_1 = {f(1); f in S} 是 N 的子集, 则 A_1 有最
小元素 n_1.
令 S_1={ f in S: f(1)=n_1}.
设已定义了 A_1,...,A_k; n_1,...,n_k 及 S_1,...,S_k.
令 A_{k+1} = {f(k+1): f in S_k},
n_{k+1} 是 A_{k+1} 的最小元素.
又令 S_{k+1} = { f in S_k: f(k+1)=n_{k+1}}.
∞
易知 ∩S_k 非空.
k=1
设 f in ∩S_k, 则 f(k)=n_k, k=1,2,...,
此 f 为 S 之 least element under < relation.
--
嗨! 你好! 祝事事如意, 天天 happy! 有统计问题? 欢迎光临统计专业版! :)
盈月与繁星 telnet://ms.twbbs.org Statistics (统计：让数字说话)
成大计中站 telnet://bbs.ncku.edu.tw Statistics (统计方法及学理讨论区)
交大资讯次世代 telnet://bs2.twbbs.org Statistics (统计与机率)
我们强调专业的统计方法、实务及学习讨论, 只想要题解的就抱歉了!
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 125.233.153.92