Ühisosa: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu
VolkovBot (arutelu | kaastöö)
P robot lisas: ast:Interseición
Hardi27 (arutelu | kaastöö)
Resümee puudub
1. rida:
[[image:Set_intersection.png|thumb|right|180px|''[[Venni diagramm]]: hulkade ''A'' ja ''B'' ühisosa A'' ∩ ''B'']]
 
Kahe[[Matemaatika]]s on [[hulk|hulgahulkade]] <i>A</i> ja <i>B</i> '''ühisosa''' ehk '''lõige''' on [[matemaatika]]s hulk, mille elementideks on kõik need ja ainult need hulga ''A'' elemendid, mis on ühtlasi hulga ''B'' elemendid.
 
Hulkade ''A'' ja ''B'' ühisosa tähis on tähistatkse "''A''&nbsp;&cap; ''B''".
 
==Formaalne definitsioonDefinitsioon ==
 
: ''x'' on hulga ''A''&nbsp;&cap; ''B'' element [[siis ja ainult siis, kui]]
:<math>A \cap B = \{x | x \in A \wedge x \in A \}</math>,
:* ''x'' on hulga ''A'' element [[ja]]
 
:* ''x'' on hulga ''B'' element.
kus <math>\wedge</math> tähistab [[konjuktsioon]]i.
 
==Näited==
16. rida ⟶ 17. rida:
{1, 3, 5, 7, 9, 11, ...} ühisosa element.
 
== Omadused ==
==Rohkem kui kahe hulga ühisosa==
Võib vaadelda ka rohkem kui kahe hulga ühisosa.
 
Näiteks hulkade <i>A</i>, <i>B</i>, <i>C</i> ja <i>D</i> '''ühisosa''' ehk '''lõige'''<br>
: <i>A</i>&nbsp;&cap; <i>B</i>&nbsp;&cap; <i>C</i>&nbsp;&cap; <i>D</i>&nbsp;= <i>A</i>&nbsp;&cap; (<i>B</i>&nbsp;&cap; (<i>C</i>&nbsp;&cap; <i>D</i>)).
 
Ühisosa võtmine on [[assotsiatiivsus|assotsiatiivne]] [[tehe]]:
 
Hulkade lõike leidmisel on järgmised omadused:
: <i>A</i>&nbsp;&cap; (<i>B</i>&nbsp;&cap; <i>C</i>)&nbsp;= (<i>A</i>&nbsp;&cap; <i>B</i>)&nbsp;&cap; <i>C</i>.
* [[Assotsiatiivsus]]
:<math>A \cap (B \cap C) = (A \cap B) \cap C</math>
* [[Kommutatiivsus]]
:<math>A \cap B = A \cap B</math>
* [[Idempotentsus]]
:<math>A \cap A = A</math>
 
==Hulkade kogumi ühisosa==