Podmnožina: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
d robot Pridal: vi:Tập hợp con |
Clarified definition of proper subset, fixed typo, removed 'proper' from 'every set is a proper subset of itself'. |
||
Riadok 1: | Riadok 1: | ||
'''Podmnožina''' množiny <math>A</math> je taká množina <math>B</math> ktorá obsahuje iba prvky množiny <math>A</math>. Alternatívne, <math>B</math> je podmnožinou <math>A</math>, ak je každý prvok <math>x</math> z množiny <math>B</math> súčasne aj prvkom množiny <math>A</math>. To že <math>A</math> je podmnožinou <math>B</math> sa symbolicky zapisuje |
'''Podmnožina''' množiny <math>A</math> je taká množina <math>B</math> ktorá obsahuje iba prvky množiny <math>A</math>. Alternatívne, <math>B</math> je podmnožinou <math>A</math>, ak je každý prvok <math>x</math> z množiny <math>B</math> súčasne aj prvkom množiny <math>A</math>. To že <math>A</math> je podmnožinou <math>B</math> sa symbolicky zapisuje |
||
:<math>A \subseteq B</math>. |
:<math>A \subseteq B</math>. |
||
Podmnožina <math> |
Podmnožina <math>A</math> množiny <math>B</math> je '''vlastná podmnožina''' ak existuje aspoň jedno <math>x</math> v množine <math>B</math> také, že <math>x\notin A</math>. To že <math>A</math> je vlastná podmnožina množiny <math>B</math> sa zapisuje |
||
:<math>A \subset B</math>. |
:<math>A \subset B</math>. |
||
Ak sa pracuje s podmnožinami nejakej pevne zvolenej [[základná množina|základnej množiny]] <math>U</math>, je vzťah "byť podmnožinou" [[binárna relácia]] na systéme všetkých podmnožín <math>U</math>. Tejto relácii sa hovorí '''relácia inklúzie''' alebo jednoducho '''inklúzia'''. Vzťahu "byť vlastnou podmnožinou" sa hovorí '''relácia ostrej inklúzie''' alebo jednoducho '''ostrá inklúzia'''. |
Ak sa pracuje s podmnožinami nejakej pevne zvolenej [[základná množina|základnej množiny]] <math>U</math>, je vzťah "byť podmnožinou" [[binárna relácia]] na systéme všetkých podmnožín <math>U</math>. Tejto relácii sa hovorí '''relácia inklúzie''' alebo jednoducho '''inklúzia'''. Vzťahu "byť vlastnou podmnožinou" sa hovorí '''relácia ostrej inklúzie''' alebo jednoducho '''ostrá inklúzia'''. |
||
Riadok 7: | Riadok 7: | ||
==Vlastnosti== |
==Vlastnosti== |
||
*prázdna množina je podmnožinou každej množiny. |
*prázdna množina je podmnožinou každej množiny. |
||
*každá množina je svojou |
*každá množina je svojou podmnožinou. Čiže inklúzia je [[reflexívna relácia]]. |
||
*ak <math>A \subseteq B</math> a <math>B \subseteq A</math>, tak <math>\textstyle A=B</math>. Čiže, inklúzia je [[antisymetrická relácia]]. |
*ak <math>A \subseteq B</math> a <math>B \subseteq A</math>, tak <math>\textstyle A=B</math>. Čiže, inklúzia je [[antisymetrická relácia]]. |
||
*ak <math>A \subseteq B</math> a <math>B \subseteq C</math>, tak <math>A \subseteq C</math>. Čiže, inklúzia je [[tranzitívna relácia]]. |
*ak <math>A \subseteq B</math> a <math>B \subseteq C</math>, tak <math>A \subseteq C</math>. Čiže, inklúzia je [[tranzitívna relácia]]. |
Verzia z 09:23, 3. september 2008
Podmnožina množiny je taká množina ktorá obsahuje iba prvky množiny . Alternatívne, je podmnožinou , ak je každý prvok z množiny súčasne aj prvkom množiny . To že je podmnožinou sa symbolicky zapisuje
- .
Podmnožina množiny je vlastná podmnožina ak existuje aspoň jedno v množine také, že . To že je vlastná podmnožina množiny sa zapisuje
- .
Ak sa pracuje s podmnožinami nejakej pevne zvolenej základnej množiny , je vzťah "byť podmnožinou" binárna relácia na systéme všetkých podmnožín . Tejto relácii sa hovorí relácia inklúzie alebo jednoducho inklúzia. Vzťahu "byť vlastnou podmnožinou" sa hovorí relácia ostrej inklúzie alebo jednoducho ostrá inklúzia.
Vlastnosti
- prázdna množina je podmnožinou každej množiny.
- každá množina je svojou podmnožinou. Čiže inklúzia je reflexívna relácia.
- ak a , tak . Čiže, inklúzia je antisymetrická relácia.
- ak a , tak . Čiže, inklúzia je tranzitívna relácia.
- Z predchádzajúcich troch bodov vyplýva, že inklúzia je relácia usporiadania.
- ak , tak .