發電機組和聯合

X := {Horse, Dog} 
Y := {Cat}

我定義集合：

M := Pow(X) u {Y}

ü工會

的結果集的發電機組運行的是：

Px := {0, {Horse}, {Dog}, {Horse, Dog}}

for empty set

我的問題被引用到unio操作。 我如何統一0和Y？

M := {{Horse, Cat}, {Dog, Cat}, {Horse, Dog, Cat}}

這是關於'Mathematica'的編程語言還是數學？ – 2010-10-21 04:50:38

這是一個叫做造型的主題，用於描述問題......和數學 – 2010-10-21 05:04:21

你

M := Pow(X) u {Y}

與

Pow(X) := {0, {Horse}, {Dog}, {Horse, Dog}}

所以

M := {0, {Horse}, {Dog}, {Horse, Dog}} u {{Cat}}

這是否清晰起來的嗎？

您顯示的聯合體映射到笛卡爾產品並缺少{Cat}的設置。

2010-10-21 05:12:41 aaronasterling

嗯，但貓必須添加到其他元素，因爲它是一個聯盟！？像M：= {{馬，貓}，{狗，貓}，{馬，狗，貓}}還是那個錯？ – 2010-10-21 05:15:29

@ArtWordAD，這是集合Pow（X）與{Cat}的結合。這不是{Cat}與Pow（X）的每個單獨元素的結合，這就是你正在嘗試做的事情。你看到這個區別了嗎？ – aaronasterling 2010-10-21 05:19:01

那麼最終的M：= {0，{Horse}，{Dog}，{Horse，Dog}} {Cat}是什麼組合？ – 2010-10-21 05:21:09

M := {0, {Horse}, {Dog}, {Horse, Dog}, Cat}

聯合的定義是任一集合中的元素集合。因此{Horse,Cat}不在聯盟中，因爲它不在任何一個集合中。

2010-10-21 05:21:41 Beta

我會與其他答覆略有不同。如果您定義了Y = {Cat}，那麼{Y} = {{Cat}}，即Y是包含元素Cat的集合，並且{Y}是包含Y的集合，或者包含包含元素Cat的集合的集合。在這種情況下：

M := {0, {Horse}, {Dog}, {Horse, Dog}, {Cat} }

這是集合論中微妙而重要的區別。

2010-10-21 14:47:20 andand

實際上並沒有太多的微妙之處 – aaronasterling 2010-10-21 20:15:31

回答