- 締切済み
順序集合
自然数の順序集合(N,|)について A={1,2,3,4,5,6,7,8,9,10}に対し,n|m⇔∃k[m=nk](nはmの約数)の順序関係のもとでAの最大元,最小元,極大元,極小元,上限,下限を求めよ(存在しない場合は「存在しない」と解答) 最大元:存在しない,最小元:1,極大元:6,7,8,9,10,極小元:1,上限:2520,下限:1・・・参考書をいろいろ読んで考えたのですが、最大元~下限の各語句の意味があまり理解できず答えに自信がないので、なぜそれが答えなのかと聞かれた場合きちんと説明ができません。どなたか詳しく説明してもらえないでしょうか
- みんなの回答 (5)
- 専門家の回答
関連するQ&A
- 集合 上限 下限
集合 上限 下限 Wikipediaによれば、 上界の集合の最小元(つまり、最小の上界)のことを、上限といい、sup(A) と書く。 下界の集合の最大元(つまり、最大の下界)のことを、下限といい、inf(A) と書く。 http://www.misojiro.t.u-tokyo.ac.jp/~murota/lect-kisosuri/supmax031208.pdf を参考にしたのですが理解出来できませんでした。 Aを実数の部分集合とするとき、 実数 a が、Aの上界であるとは、Aの任意の元x に対して、x≦a が成り立つことである。 そのなかで、最小の上界を上限と言う。 ピンときません・・・ 具体例を示して教えて頂けるとありがたいです。 ご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 上限や最大元についての質問です。
以下の証明を教えてください。 理解はできるのですが、証明するとなるとよくわからなくなってしまって… 1、極大元は存在したとしても一つでない場合もある。また、最大元が存在すれば、それはAの唯一の極大言である。 2、M⊂Aの上限が存在するなら唯一である。Mの最大元が存在れあば、それはMの上限である
- 締切済み
- 数学・算数
- 上界と下界、上限と下限
上界と下界、上限と下限 数列の定義(解析演習 by 杉浦光夫さん)のpage4に上界と下界、上限と下限の説明があります。 [実数Rの部分集合Aにおいて、実数xですべてのAの元aに対してa<=xとなるものを上界]という説明は納得できました。 一方で上限の説明で [Aの上界に最小元が存在するときこれを上限という]という説明がよく理解できません。 Aの上界という部分では集合Aのうちの最大の値を持つ元がでてくると思うのですが、「最小元」を持ち出して「上限」と言っているのがよくわかりませんでした。 上限の具体的な例など教えていただけますでしょうか? また、Aの上界に最小元が存在しないとき、の例というのはどういうものでしょうか。
- ベストアンサー
- 数学・算数
- 順序集合などに詳しい方の回答お待ちしています。かなり困ってます・・・。
(A_α)_α∈Λ(ラムダ)を、整列集合Λを添数集合とする集合族として、各A_αはe_αを最小元とする整列集合とする。 直積Π_[α∈Λ]A_αの元a=(a_α)_α∈Λで、Λの高々有限個の元αを除けばa_α=e_αであるようなものを考え、そのようなa全体の作るΠ_[α∈Λ]A_αの部分集合をAとする。 Aの相異なる2元a=(a_α)、a'=(a'_α)をとる。 a_α≠a'_αとなるαは有限個しか存在しないから、 β=max{α∈Λ|a_α≠a'_α}が存在する。 このとき、 a_β<a'_βならばa<a' a_β>a'_βならばa>a' のように、写像a、a'の間に順序を定義する。 このようにしてAに順序を導入する。 [問]この順序についてAは整列集合となることを証明せよ。 (証) 次の補題を利用する。 [補題] 順序集合Aの元の列(a_n)_n∈Nで、a_1>a_2>a_3>・・・>a_n>・・・となるものをAにおける降鎖という。Aが全順序集合の場合、Aが整列集合⇔Aにおける降鎖は存在しない。 さて、Aに導入した順序について、Aが全順序集合となることは容易に示される。よって、上の補題により、A=ΠA_αに降鎖が存在しないことを示せばよい。 仮に、Aに降鎖a^(1)>a^(2)>・・・>a^(n)>・・・が存在すると仮定し、 a^(n)=(a^(n)_α)_α∈Λ max{α|a^(n)_α≠e_α}=α_nとおく。 するとα_1≧α_2≧・・・≧α_n≧・・・である。 (実際、たとえばα_1<α_2とするとmax{α|a^(2)_α≠e_α}=α_2で、 α_1より大きなαに対してはa^(1)_α=e_αであるから a^(1)_(α_2)=e_(α_2)<a^(2)_(α_2)つまりa^(1)<a^(2)となり矛盾。したがってα_1≧α_2となること等により。) しかし、{α_n|n∈N}は整列集合Λの部分集合なので整列集合であるから、補題より(α_n)は降鎖でない。したがってあるn0∈Nが存在して α_n0=α_(n0+1)=・・・=α_(n0+n)=・・・となる。 この元をα~とおく。 すると、Aでの降鎖の存在の仮定より、 a^(n0)>a^(n0+1)>・・・>a^(n0+n)>・・・ であったが、これはAでの順序の定義より、 a^(n0)_α~>a^(n0+1)_α~>・・・>a^(n0+n)_α~>・・・ である。・・・(☆) しかるにこれは整列集合A_α~における降鎖が存在することとなって (補題より)A_α~が整列集合であることに矛盾。 したがってAには降鎖は存在しない。つまり、Aは整列集合である(終) のような証明が[集合位相入門/松坂和夫]という本に書かれていました。(☆)より前は理解できるのですが、(☆)の部分だけどうしてもわかりません。 >これはAでの順序の定義より、 >a^(n0)_α~>a^(n0+1)_α~>・・・>a^(n0+n)_α~>・・・ >である。 ということは、Aでの定義から、証明中で定めたα~が この質問文の冒頭で述べたβとなっているってことですか? だとしてもなぜだかわかりません・・・。 本当にいくら考えてもまったくわからず困っています。 どなたか、わかる方がいらっしゃったら 回答よろしくお願いしますm(_ _)m ※記号がたくさんあって見にくいと思います。 もし、おなじテキストを持っていたら、そちら(p125)を見て貰えると助かりますが・・・。あと、証明はところどころテキストには書かれていない文章を自分で補っている箇所もあります。
- ベストアンサー
- 数学・算数
- 最大元と極大元の定義の違いが分かりません
数学の基礎「齋藤正彦著」p22からの抜粋です。 定義 (X,≦)を順序集合,AをXの部分集合とする。 「1) aがAの元でAの全ての元xに対してx≦aが成り立つ時,aをAの最大元といい,maxAと書く,Aの全ての元xに対してa≦xが成り立つ時,aをAの最小元といい,minAと書く。最大元や最小元は存在するとは限らない,あるとすれば一つしかない。 2) aがAの元で,Aのいかなる元xに対してもa<xとならない時,aを極大元という。x<aなるAの元が存在しない時,aを極小元という。極大元や極小元は存在しない事も有るし,沢山存在する事もある」 と定義が紹介されてるのですが最大元と極大元についてのこの文意 "aがAの元でAの全ての元xに対してx≦aが成り立つ"と"aがAの元で,Aのいかなる元xに対してもa<xとならない" とは同値だと思います。 違いが分かりません。 一体,どのように違うのでしょうか?
- ベストアンサー
- 数学・算数
- 極大値・極小値 を英語で
解答でよく、 最大値をMax、最小値をMinと書くことがありますが、 極値も極大値Max、極小値Minと書いてもよいのでしょうか? 英語では同じですが これがよいのだとすると 極値も最大値・最小値も求める問題のときに混乱してしまう気がします。 わかりやすく納得できる説明が欲しいです。 よろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
わかりやすい解説ありがとうございます、おかげで理解できました。 またよろしくお願いします。