Multzo: berrikuspenen arteko aldeak
Ezabatutako edukia Gehitutako edukia
t Robot: Cosmetic changes |
|||
39. lerroa:
Bilketa ez da bi multzotara mugatzen, edozein multzo kopurutan definitu baitaiteke. Hurrengo propietateak betetzen ditu:
:* ''A'' ∪ ''B'' = ''B'' ∪ ''A''
:* ''A'' ∪ (''B'' ∪ ''C'') = (''A'' ∪ ''B'') ∪ ''C''
:* ''A'' ⊆ ''A'' ∪ ''B''
:* ''A'' ∪ ''A'' = ''A''
:* ''A'' ∪ ∅ = ''A''
:* Baldin eta soilik baldin ''A'' ∪ ''B'' = ''B'', orduan ''A'' ⊆ ''B''
=== Ebakidura ===
55. lerroa:
Bilketan bezala, ebakidura edozein multzo kopurutan defini daiteke. Hurrengo propietateak betetzen dira:
:* ''A'' ∩ ''B'' = ''B'' ∩ ''A''
:* ''A'' ∩ (''B'' ∩ ''C'') = (''A'' ∩ ''B'') ∩ ''C''
:* ''A'' ∩ ''B'' ⊆ ''A''
:* ''A'' ∩ ''A'' = ''A''
:* ''A'' ∩ ∅ = ∅
:* ''A'' ⊆ ''B'' baldin eta soilik baldin ''A'' ∩ ''B'' = ''A''
Gainera, bilketa eta ebakiduraren artean propietate distributiboa betetzen da:
:* ''A'' ∪ (''B'' ∩ ''C'') = (''A'' ∪ ''B'') ∩ (''A'' ∪ ''C'')
:* ''A'' ∩ (''B'' ∪ ''C'') = (''A'' ∩ ''B'') ∪ (''A'' ∩ ''C'')
=== Multzo osagarria ===
103. lerroa:
Ondokoa beti betetzen da:
* ''A'' ∪ ''B'' = ''(''A'' \ ''B'')'' ∪ ''(''A'' ∩ ''B'')'' ∪ ''(''B'' \ ''A'')''
=== Biderkadura kartesiarra ===
127. lerroa:
Ia matematika guztia multzo-teoriatik eratorria zegoenez, beharrezkoa zen paradoxa horiek saihestea. Lehen-mailako [[logika]] erabiliz [[multzo-teoria axiomatikoa]] landu zen, teoria ondo eraikia gelditu zelarik. Hala ere, helburu gehienetarako teoria basikoa nahikoa da.
{{NA lotura|lmo}}▼
[[Kategoria:Multzo-teoria]]
▲{{NA lotura|lmo}}
[[als:Menge (Mathematik)]]
| |||