Croestoriad setiau: Gwahaniaeth rhwng fersiynau

Cynnwys wedi'i ddileu Cynnwys wedi'i ychwanegu
Crewyd drwy gyfieithu'r dudalen "Intersection (set theory)"
 
hanfodion
Tagiau: Golygiad cod 2017
Llinell 1:
[[Delwedd:{{Pethau|suppressfields=|fetchwikidata=ALL | image = Venn0001.svg|bawd | caption = Croestoriad dwy set <math>A</math> a <math>B,</math> a gynrychiolir gan gylchoedd. Mae <math>A \cap B</math> (neu "<math>A</math> croestoriad <math>B</math>") mewn coch.}}
 
Mae <math>A \cap B</math> (neu "<math>A</math> croestorias <math>B,</math>) mewn coch.
 
]]
{{Pethau|suppressfields=|fetchwikidata=ALL}}
 
 
Mewn [[mathemateg]], '''croestoriad''' dwy [[Set (mathemateg)|set]] <math>A</math> a <math>B,</math> wedi'i ddynodi gan <math>A \cap B,</math><ref>{{Cite web|title=Intersection of Sets|url=http://web.mnstate.edu/peil/MDEV102/U1/S3/Intersection4.htm|access-date=2020-09-04|website=web.mnstate.edu}}</ref> yw'r set sy'n cynnwys holl elfennau <math>A</math> sydd hefyd yn perthyn i set <math>B</math>; hy pob elfen o <math>B</math> sydd hefyd yn perthyn i <math>A.</math><ref>{{Cite web|url=http://people.richland.edu/james/lecture/m170/ch05-rul.html|title=Stats: Probability Rules|publisher=People.richland.edu|access-date=2012-05-08}}</ref> Mae'n un o'r gweithrediadau sylfaenol lle gellir cyfuno setiau a'u cysylltu â'i gilydd.
Llinell 13 ⟶ 7:
 
== Diffiniad ==
[[Delwedd:Venn_0000_0001.svg|bawd| Croestoriad tair set:<br /><math>~A \cap B \cap C</math>]]
[[Delwedd:PolygonsSetIntersection.svg|bawd| Enghraifft o groestoriad â setiau]]
 
]]
[[Delwedd:PolygonsSetIntersection.svg|bawd| Enghraifft o groestoriad â setiau]]
Croestoriad dwy set <math>A</math> a <math>B,</math> wedi'i ddynodi gan <math>A \cap B</math>,<ref name=":1">{{Cite web|title=Set Operations {{!}} Union {{!}} Intersection {{!}} Complement {{!}} Difference {{!}} Mutually Exclusive {{!}} Partitions {{!}} De Morgan's Law {{!}} Distributive Law {{!}} Cartesian Product|url=https://www.probabilitycourse.com/chapter1/1_2_2_set_operations.php|access-date=2020-09-04|website=www.probabilitycourse.com}}</ref> yw'r set o'r holl wrthrychau sy'n aelodau o'r ddwy set <math>A</math> a <math>B.</math> Mewn symbolau:<math display="block">A \cap B = \{ x: x \in A \text{ and } x \in B\}.</math>Hynny yw, mae <math>x</math> yn elfen o'r croestoriad <math>A \cap B</math> [[os ac yn unig os]] yw <math>x</math> yn elfen o <math>A</math> ac yn elfen o <math>B.</math><ref name=":1">{{Cite web|title=Set Operations {{!}} Union {{!}} Intersection {{!}} Complement {{!}} Difference {{!}} Mutually Exclusive {{!}} Partitions {{!}} De Morgan's Law {{!}} Distributive Law {{!}} Cartesian Product|url=https://www.probabilitycourse.com/chapter1/1_2_2_set_operations.php|access-date=2020-09-04|website=www.probabilitycourse.com}}<cite class="citation web cs1" data-ve-ignore="true">[https://www.probabilitycourse.com/chapter1/1_2_2_set_operations.php "Set Operations | Union | Intersection | Complement | Difference | Mutually Exclusive | Partitions | De Morgan's Law | Distributive Law | Cartesian Product"]. ''www.probabilitycourse.com''<span class="reference-accessdate">. Retrieved <span class="nowrap">2020-09-04</span></span>.</cite></ref>
 
Llinell 23 ⟶ 16:
* Croestoriad y setiau {1, 2, 3} a {2, 3, 4} yw {2, 3}.
* Nid yw'r rhif 9 yn y groesffordd y set o [[Rhif cysefin|rifau cysefin]] {2, 3, 5, 7, 11, ...} a set o [[Paredd (mathemateg)|odrifau]] {1, 3, 5, 7, 9, 11, .. .}, oherwydd nid yw 9 yn rhif gysefin.
 
=== Setiau croestoriadol a digyswllt ===
 
 
 
Er enghraifft, y setiau <math>\{1, 2\}</math> a <math>\{3, 4\}</math> yn ddigyswllt, tra bod y set o eilrifau yn croestorri'r set o luosrifau o 3 ar y lluosrifau o 6.
 
== Priodweddau algebraidd ==
Mae croestoriad deuaidd yn weithrediad cysylltiol (<nowiki><i>''associative</i></nowiki>''); hynny yw, ar gyfer unrhyw setiau <math>A, B,</math> a <math>C,</math> mae <math display="block">A \cap (B \cap C) = (A \cap B) \cap C.</math>Felly gellir hepgor y cromfachau heb amwysedd, gan ysgrifennu un o'r uchod fel <math>A \cap B \cap C</math>. Mae croestoriad hefyd yn gymudol (''commutative''). Hynny yw, i unrhyw un <math>A</math> a <math>B,</math> mae gan un<math display="block">A \cap B = B \cap A.</math>Mae croestoriad unrhyw set â'r [[set wag]] yn arwain at y set wag; hynny yw, ar gyfer unrhyw set <math>A</math>,<math display="block">A \cap \varnothing = \varnothing</math>Hefyd, mae'r gweithrediad croestoriad yn [[:en:Idempotence|idempotent]]; hynny yw, mae unrhyw set <math>A</math> yn bodloni <math>A \cap A = A</math>. Mae'r holl briodweddau hyn yn dilyn o ffeithiau tebyg am gysylltiad rhesymegol (''logical conjunction'').
 
Mae croestoriad yn dosbarthu dros [[Uniad setiau|uniad]] ac mae uniad yn dosbarthu dros groestoriad. Hynny yw, ar gyfer unrhyw setiau <math>A, B,</math> a <math>C,</math> mae<math display="block">\begin{align}
Llinell 37 ⟶ 24:
A \cup (B \cap C) = (A \cup B) \cap (A \cup C)
\end{align}</math>Y tu mewn i fydysawd <math>U,</math> gellir diffinio'r [[Ategol (theori set)|cyflenwad]] <math>A^c</math> o <math>A</math> i fod yn set o bob elfen o <math>U</math> sydd ddim yn <math>A.</math> Ar ben hynny, gellir sgwennu croestoriad <math>A</math> a <math>B</math> fel cyflenwad [[Uniad setiau|uniad]] eu cyflenwadau, sy'n deillio'n hawdd o ddeddfau [[Deddfau De Morgan|De Morgan]]:<math display="block">A \cap B = \left(A^{c} \cup B^{c}\right)^c</math>
 
*
 
== Darllen pellach ==
Llinell 47 ⟶ 32:
 
== Dolen allanol ==
 
* {{MathWorld|title=Intersection|id=Intersection}}
 
==Cyfeiradau==
{{cyfeiriadau}}
 
{{Rheoli awdurdod}}
[[Categori:Setiau]]