![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?8acaa2e)
有限のものがあったとします。
・重複を許さない、順序を考えない、とします。
たとえば、aとbとcというものがあったとします。
これを表すのには、集合の記号を用いて、
{a,b,c}
と表します。
・重複を許す、順序を考える、とします。
たとえば、a,b,b,aという順にものがあったとします。
これは順序対の記号を用いて、
(a,b,b,a)
と表すと思います。
また、文字列とみなして、
abba
と表すこともあると思います。0から9の数字と+-記号を用いて、整数を表すのもこれに相当するとおもいます。
順序対の記号は、たとえば
http://oshiete1.goo.ne.jp/qa2861763.html
にあるように、集合の記号によって定義することもできます。
質問1.では逆に、集合の記号を、順序対の記号によって定義することはできるのでしょうか?
・重複を許す、順序を考えない、とします。
たとえば、aが2個、bが3個、cが1個というものがあったとします。
これは多重集合の考え方ですが、
{|aa,bbb,c|}
と表したりするようです。
質問2.多重集合を、集合の記号や順序対の記号を用いて、うまく表すことはできないものでしょうか?
・重複を許さない、順序を考える、とします。
たとえば、a,c,b,d,eという順にものがあったとします。
質問3.しかし、この考え方の具体的な名前、応用例、表し方を知らないので、教えていただきたいのです。
それは順序対の記号を用いて、
(a,c,b,d,e)
と表せばいいという方がいるかもしれませんが、その記号だと、重複を許さないという考えを伝えることができないので、よくはないと思うのです。
A 回答 (2件)
- 最新から表示
- 回答順に表示
No.2
- 回答日時:
ANo.1、自信ありとか言っといて間違えましたんで、毎度の事ながら訂正。
> = {(b,0),(b,1),(a,0),(a,1),(a,2)}
> = <<b,a>>
嘘です。bag{(b,0),(b,1),(a,0),(a,1),(a,2)}は
<<b,a>> = {(b,0),(a,0),(a,1)}
とは違う。
これをどう訂正するかというと、えーと、まず、bagのことは忘れて下さい。
全順序関係をすなおに利用して、
<<a,b,c>> = {{a},{a,b},{a,b,c}}
と定義するのは如何でしょう。すなわち、無重複列の要素pを「pか、無重複列の中でpより左にあるもの」の集合に対応付けてやるんです。
そうすれば、x∈<<a,b,c>>について、|x| (xの要素の個数)がxの順番を表している。n番目の要素を取り出す、という操作も構成できそうだし、2つの無重複列を結合したり、無重複列を分割したりもできるでしょう。そして、
<<a,b,a>> = {{a},{a,b},{a,b,a}}={{a},{a,b},{a,b}}={{a},{a,b}}=<<a,b>>
も成り立ちますんで、旨く行きそうです。(今度は用心して「参考意見」。たははは…)
No.1
- 回答日時:
質問1
有限集合に限った話ですから、「順序対Pにある要素xが含まれている」という事を表す関係が定義されていれば可能です。
この関係を"x<P"と書く事にすると、x∈P とは x<Pのことだと定義すれば良い。そして、集合の同値関係を(P=Qと書くと順序対としての同値関係になっちゃうんで)~と書く事にして、
P~Q ⇔ ∀x(x<P ⇔ x<Q)
と定義する。
質問2
仰る所の多重集合は「bag」とも呼ばれます。これを集合で表すには、順序対(要素, 要素の識別番号)を要素とする集合、と考えれば良い。つまり、
B={|aa,bbb,c|}
の実体は
B={(a,0),(a,1),(b,0),(b,1),(b,2),(c,0)}
である。
「bag Bにある要素xが含まれている」という事を x←B と書くことにすると、
x←B ⇔ ∃n(n∈N ∧ (x,n)∈B)
「bag Bにxがいくつ含まれているか」という関数をC(x,B)とすると
C(x,B) = | {n|(x,n)∈B} |
あるいは
C(x,B) = max {n|(x,n)∈B} + 1
もちろん、他にもやりようはあるでしょうけれど。
質問3
> 重複を許さない、順序を考える、
ここで仰る「順序」は「一列に並べることができる」という意味での「順序」だから、全順序関係(すなわち、どの2つの要素も比較できる順序関係)である。だからお考えなのは「有限集合であって、かつ、全順序集合であるもの」に他なりません。これを「無重複列」とでも名付けることにして、a,c,b,d,eがこの順に並んでできる無重複列を<<a,c,b,d,e>>とでも書くことにすると、その実体は、例えばbagを使って
{|a,cc,bbb,dddd,eeeee|}
のことだと決めたらいいんじゃないかな。すると例えば、
<<a,b,a>>
= {|a,bb,aaa|}
= {(a,0),(b,0),(b,1),(a,0),(a,1),(a,2)}
= {(b,0),(b,1),(a,0),(a,1),(a,2)}
= <<b,a>>
なので、重複を許さない、ということもちゃんと入っています。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- gooポイント gooポイントをdポイントに交換できない。 3 2022/04/22 20:39
- 数学 【 数A 重複順列 】 問題 3種類の記号〇,△,□を重複を許して 並べる順列を作る。1個以上4個以 2 2022/07/21 14:24
- 数学 英単語の集合に、普通の英和辞典の順序(辞書的順序)とは違う順序を定義せよ。 数学の問題なのですが意味 2 2022/07/28 00:39
- 数学 前順序集合についての違和感なんですが、全順序と違ってすべての要素の間に順序があるわけではないですよね 3 2022/08/09 00:05
- 数学 数学の複素数の証明問題です。 (1)複素数全体の集合に2要素間の実数と同様な大小を定義できないことを 2 2022/08/28 11:17
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 数学 自然数の集合をNとする。直積集合N×N={(a,b)|a,b∈N}において関係Rを、 (a,b)R( 2 2022/07/28 02:00
- 計算機科学 アルゴリズムについて 1 2023/01/01 19:43
- Excel(エクセル) [条件付き書式]の設定順の変更は可能か? 4 2022/12/07 10:37
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
何時間 何分 何秒を記号で表...
-
数学のハット、キャレットの意...
-
ニアリーイコールについて
-
鋼材について
-
「∝」←この記号ってどういう意味?
-
lnの読み方
-
数学の問題で丸に真ん中に線が...
-
今、高校生です。 化学や物理、...
-
偏角を表す「arg」の読み方
-
%(パーセント)の正しい書き順
-
数学のハット記号の意味がわか...
-
無限大∞の右側が空いてる記号は...
-
数学記号で例えばfの真上に^が...
-
記号∀,∃の読み方(発声)を教え...
-
Ω(オーム)とΩ(オメガ)って同じ...
-
最大・最小値の表記の仕方、こ...
-
自然対数「ln」の読み方は?
-
『∝』この呼び方と意味を教えて...
-
数学の解答中に見かける「⇔」こ...
-
∉ ∌ の表示
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
何時間 何分 何秒を記号で表...
-
数学のハット、キャレットの意...
-
ニアリーイコールについて
-
鋼材について
-
「∝」←この記号ってどういう意味?
-
lnの読み方
-
数学の問題で丸に真ん中に線が...
-
今、高校生です。 化学や物理、...
-
無限大∞の右側が空いてる記号は...
-
∉ ∌ の表示
-
言語と記号のうちわが分節する...
-
最大・最小値の表記の仕方、こ...
-
「比例する」という意味の「∝」...
-
『∝』この呼び方と意味を教えて...
-
自然対数「ln」の読み方は?
-
記号∀,∃の読み方(発声)を教え...
-
数学の解答中に見かける「⇔」こ...
-
【数学】なぜθ(シータ)が角度を...
-
記号について
-
0の中に・が入ってる記号ってど...
おすすめ情報