Ühisosa: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
P pisitoimetamine |
|||
1. rida:
[[
[[Matemaatika]]s on [[hulk
Hulkade ''A'' ja ''B'' ühisosa tähistatakse ''A''∩''B''.
7. rida:
Hulkade ühisosa leidmine moodustab mis tahes hulkade hulgal [[binaarne tehe|binaarse tehte]], mingi hulga [[alamhulk]]ade hulgal [[binaarne algebraline tehe|binaarse algebralise tehte]].
== Definitsioon ==
Hulkade ''A'' ja ''B'' ühisosa ''A'' ∩ ''B'' on hulk, mille moodustavad parajasti kõik sellised elemendid, mis kuuluvad hulka ''A'' ja hulka ''B''.
Sümbolite abil väljendudes,
20. rida:
* Hulkade {1, 2, 3} ja {2, 3, 4} ühisosa on {2, 3}.
* Arv 9 ''ei ole'' [[algarv]]ude hulga {2, 3, 5, 7, 11, ...} ja [[paaritu arv|paaritute]] [[naturaalarv]]ude hulga
▲* Arv 9 ''ei ole'' [[algarv]]ude hulga {2, 3, 5, 7, 11, ...} ja [[paaritu arv|paaritute]] [[naturaalarv]]ude hulga<br>
{1, 3, 5, 7, 9, 11, ...} ühisosa element.
36. rida ⟶ 35. rida:
== Hulkade kogumi ühisosa ==
Üldiselt saab rääkida ''mittetühja'' hulkade kogumi
:<math> M = \{ A_i | i \in I \} </math>
ühisosast
:<math>\bigcap M \equiv \bigcap \limits_{i \in I} A_{i} </math>,
49. rida ⟶ 48. rida:
Mõnikord räägitakse ühisosast ka juhul, kui <math>M</math> on tühi hulk{{lisa viide}}.
[[Pilt:Multigrade operator AND.svg|
Eelpool jäi vaatluse alt välja juhtum, kus ''M''
:<math>\bigcap \mathbf{M} = \{x : \forall A \in \mathbf{M}, x \in A\}.</math>
Kui ''M'' on tühi, siis ükski hulk ei ole hulga ''M'' element, nii et jääb küsimus, millised muutuja ''x'' väärtused rahuldavad seda tingimust. Paistab, et kõik võimalikud väärtused. Kui ''M'' on tühi, siis see tingimus on [[tühi tõde]]. Nii et tühja kogumi lõige peaks olema [[universaalhulk]] (lõike leidmise tehte
Selle raskuse saab osaliselt lahendada, kui piirduda fikseeritud hulga ''U'' ([[universum (matemaatika)|universum]]) [[alamhulk]]adega. Sel juhul võib hulga ''U'' alamhulkade kogumi lõike defineerida nii:
60. rida ⟶ 59. rida:
==Ühisosata hulgad==
{{vaata|Ühisosata hulgad}}
Kui <math>\cap</math> <math>M</math> on
== Vaata ka ==
|