• ベストアンサー

完備束でない理由を教えてください。

文字列集合Σ*はw,v∈Σ*について wがvの接頭語のときw⊆v を満たすとする。このとき、文字列集合が⊆について完備束でない理由を示しなさい。 という問題が出たのですがこれは上限が存在しない反例を示せばいいのでしょうか？接頭語の意味も調べてみましたがよくわかりません。 どうか教えてくださいm(_ _)m

質問者が選んだベストアンサー

  • ベストアンサー
  • arrysthmia
  • ベストアンサー率38% (442/1154)
回答No.2

S = { a, a, a, a } では、要するに S = { a } ということでしょう？ 私が挙げたのは、a ∈ Σ であれば、S = { a, aa, aaa, aaaa, … } が、 Σ * の部分集合で上限を持たないものの例になる　ということです。 S の任意の元について、その末尾にもう１個 a をつけたものも、やはり S の元ですからね。

kevinh_200
質問者

お礼

そういうことですか。理解できました。 度々ありがとうございますarrysthmiaさんm(_ _)m

その他の回答 (1)

  • arrysthmia
  • ベストアンサー率38% (442/1154)
回答No.1

そうですね。 上限が存在しない例を示せばよいでしょう。 Σ* の部分集合として、固定したある一文字からなる 任意字数の文字列の集合 S を挙げれば、 S 上の ⊆ は、自然数の ≦ と同型ですから、 上限は存在しません。

kevinh_200
質問者

お礼

arrysthmiaさん素早い回答ありがとうございますm(_ _)m S={a,a,a,a}などを反例としてあげればいいのでしょうか？

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • 位相幾何学の問題です。

    平面図形Xにおいて、平面内の開集合VとWが存在して、 X∩V≠∅,X∩W≠∅,V∩W＝∅,X⊂V∪W が成り立つとき、Xは不連結であるという。不連結でないとき、連結であるという。 X＝{(t,sin(1/n))|0＜t＜1}, Y＝{(0,t)|-1≦t≦1} であるとき、X∪Yは連結であるが弧状連結ではないことを示せ。 (有名問題らしいので証明も詳しくお願いします。)

  • 何故、重量体積パーセント(%(w/v))が必要か

    ネットで、次のことは分かりました。 (1)重量パーセント(%(w/w)) (2)重量体積パーセント(%(w/v)) (3)体積パーセント(%(v/v)) 重量パーセント(%(w/w))と体積パーセント(%(v/v))は、分かります。 分からないのは、重量体積パーセント(%(w/v))です。 何故、どのような場合に、重量体積パーセント(%(w/v))が必要なのか、どのような意味を持っているのか お教え下さい。

  • 大学１年レベルの線形代数の質問です

    『v_1,v_2∈Ｒ^n　がすべてのv∈Vに対して、(v_1,v)＝(v_2,v) ならばv_1＝v_2 を示せ』 という問題に関してなのです。この問題文には、Vが何なのか書いてなかったのですが、私はV⊂R^nとして考えました。しかし、解いててこれには反例があるんじゃないかな？と思いました。 v_1、v_2がVの直交補空間の元なら、v_1＝v_2でないときがあると思いました。 具体的には n＝４　Vは(1 0 1 1)(1 -1 1 0)を基底とするR^4の部分空間 v_1＝t^(1 0 1 1) v_2＝t^(0 1 1 -1)の場合です。（t^ は転置の意味です） でも問題に間違いがあることってあるのかな？と思い、なにか勘違いしているかもしれません。どなたかこの反例または問題について回答よろしくお願いします。 ※反例でのv_1 v_2は一応Vの直交補空間の基底を計算して、そのままその基底を用いました。あと（v_1,v）は内積の意味です。

  • 線形代数

    和空間と合併集合というのは、どう違うのですか？ つまり、複素線形空間Ｖに対する部分空間Ｗ_1とＷ_2を考えたとき、Ｗ_1＋Ｗ_2　と　Ｗ_1∪Ｗ_2　の違いは何なのでしょうか？ 教科書に「和空間は合併集合から生成される部分空間にほかならない」という記述があるのですが、 (1)2つの部分空間の合併集合はまた、Ｖの部分空間になる (2)Ｖの部分集合Ｖ'がＶの部分空間となっているとき、Ｖ'から生成される部分空間はＶ'にほかならない という(1)と(2)から、Ｗ_1＋Ｗ_2とＷ_1∪Ｗ_2は同じものだという考えに至ってしまったのですが・・・。 (1)か(2)のどちらかが間違っているのか、或いは両方とも正しいが、穴があるのか、ご指摘下さい。 また、これに関連してですが、次元定理（で宜しいのでしょうか）と呼ばれる以下の公式 dimＷ_1 ＋ dimＷ_2 ＝ dim(Ｗ_1 + Ｗ_2) ＋ dim(Ｗ_1∩Ｗ_2) において、dim(Ｗ_1 + Ｗ_2) を dim(Ｗ_1∪Ｗ_2) と置き換えても成り立つのでしょうか。 一応この定理の証明を見る限りでは、Ｗ_1∪Ｗ_2でもよさそうに思ったのですが、そのあたりで勘違いをしているかもしれません。

  • 計算機科学　同値関係の問題です。

    計算機科学　同値関係の問題です。 問題 X*を空列を含むアルファベット集合X上の有限長の文字列の集合とする。 次の関係で（X*,≦）が半順序集合となることをしめせ。 ｗ≦ｗ’　⇔　ｗ1ｗ’ｗ2　＝　ｗとなるw1,w2∈X*が存在する。 反射律、対象律、推移律を示し解け。 これは空列があることを考えると、どれもなりたたなくなってしまうのでは・・・ という勝手な妄想をいだいているのですが、結局よくわかりません・・・ だれか回答またはアドバイス、ヒントをお願いします。

  • バグ？仕様？(バッチ複文での文字列置換)

    末尾のバッチコードは複文(変数がvの方)では動作しませんが、 非複文(変数がwの方)では動作します。 これはバッチ処理の文字列置換機能のバグでしょうか？仕様でしょうか？ 意図は、バッチの文字列変換機能の、 %変数:<置換対象文字列>=<置換後文字列>% により 「<半角スペース>a<半角スペース>b」 を 「ab」 に変換することです。 IF t==t は無くてもいいのですが、複文をよく使う場合の雰囲気を出すためにつけてあります。 rem 以下コード---------------------------------------------------------------- rem 複文 IF t==t ( Set v= a b Set v=%v: =% ) echo v=%v% rem 非複文 Set w= a b Set w=%w: =% echo w=%w% pause

  • Vを有限次元実ベクトル空間とし、W、W’をVの部分

    Vを有限次元実ベクトル空間とし、W、W’をVの部分空間とし、商ベクトル空間V/WとV/W’に対し、自然な写像p:V→V/Wとq:V→V/W'を考える。 W’⊂Wのとき、実ベクトル空間としての同型(V/W’)/(W/W’)≒V/Wが成り立つことを示せ。 この問題の解き方がわかりません。どなたか教えて下さいませんか。

  • rot W = V を満たすWを求める

    次の問題なんですが 『ベクトル場V_i(i=1,2,3)を次により定める。 rotW_i=V_i を満たすベクトル場W_iは存在するか？存在する場合はW_iを求めよ (i)V_1(x,y,z)=[x,y,z]:R^3→R^3 (ii)V_2(x,y,z)=[y,z,x]:R^3→R^3 (iii)…』 V=(v1,v2,v3)とする。 まず求めるWが存在するか否かを 　div V = (∂v1/∂x + ∂v2/∂y + ∂v3/∂z) = 0 で判定する。 (i) div V = 1 + 1 + 1 = 3≠0 よりW_1は存在しない。 (ii) div V = 0 + 0 + 0 = 0 よりW_2は存在する。 W_2=W=(w1, w2, w3)とする。 rot W = (∂w3/∂y - ∂w2/∂z , ∂w1/∂z -∂w3/∂x , ∂w2/∂x -∂w1/∂y) あるからこれがVと等しいので連立方程式を解けばいいと思ったのですが、その解き方がわかりません。 どうやって解けばいいのか教えていただけないでしょうか？

  • テンソル積での(v_1+v_2)(×)w=v_1(×)w + v_2(×)wの変形

    Rを環としV,Wを左R加群とする。 T:=span{(x_1+x_2,y)-(x_1,y)-(x_2,y),(x,y_1+y_2)-(x,y_1)-(x,y_2),(rx,y)-r(x,y),(x,,ry)-r(x,y)} と定義し, V(×)W:={{(x,y)∈span(V×W);(x,y)≡(v,w) (mod T)};(v,w)∈V×W}をR上のテンソル積という。 {(x,y)∈span(V×W);(x,y)≡(v,w) (mod T)}をv(×)wと書き,(v,w)のテンソルという。 定義から (v_1+v_2)(×)w=v_1(×)w + v_2(×)w v(×)(w_1+w_2)=v(×)w_1 + v(×)w_2 (αv)(×)w=v(×)(αw) =α(v(×)w) が成り立つとあったのですが (v_1+v_2)(×)w∈V(×)Wを採ると, (v_1+v_2)(×)w={(x,y)∈span(V×W);(x,y)≡(v_1+v_2,w) (mod T)}と書け、 ∀(x,y)∈{(x,y)∈span(V×W);(x,y)≡(v_1+v_2,w) (mod T)}をとると (x,y)=(t,s)+(v_1+v_2,w) (但し(t,s)∈T) (∵合同の定義) =(t+v_1+v_2,s+w)から (t+v_1,s+w)+(t'+v_2,s'+w)の形 ({(x,y)∈span(V×W);(x,y)≡(v_1,w) (mod T)}+{(x,y)∈span(V×W);(x,y)≡(v_2,w) (mod T)}の元) というふうにやっていくのかと思いましたら 「(x,y)=(t,s)+(v_1+v_2,w) (但し(t,s)∈T) (∵合同の定義)」 が既に間違いなようです。 ∀(x,y)∈{(x,y)∈span(V×W);(x,y)≡(v_1+v_2,w) (mod T)}をとると からどのようにして (x,y)∈{(x,y)∈span(V×W);(x,y)≡(v_1,w) (mod T)}+{(x,y)∈span(V×W);(x,y)≡(v_2,w) (mod T)} が示せますでしょうか?

  • g をリー代数，V, W を g 加群とする.この

    g をリー代数，V, W を g 加群とする.このとき，以下が成立する. V,W のK上のテンソル積V⊗W に対し， g×(V ⊗K W)→V⊗Wにおいて (x,v⊗w)→x.v⊗w＝x.v⊗w+v⊗x.w と定めることにより，V ⊗K W は g 加群になる. この問題の証明ができません。 分かる方いらっしゃれば よろしくお願いします🙏

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する