Multimediaexpo.cz je již 18 let na českém internetu !!
Distributivní svaz
Z Multimediaexpo.cz
m (1 revizi) |
(+ Masivní vylepšení) |
||
| Řádka 1: | Řádka 1: | ||
| - | + | '''Distributivní svaz''' je v [[matematika|matematice]] označení [[Svaz (matematika)|svazu]], jehož dvě operace jsou vzájemně [[distributivita|distributivní]]. | |
| + | == Definice == | ||
| + | Svaz (A,∧,∨) se nazývá distributivní, platí-li: | ||
| + | |||
| + | 1. <math>\forall a,b,c \in A : a \wedge (b \vee c) = (a \wedge b) \vee (a \wedge c)</math> | ||
| + | |||
| + | 2. <math>\forall a,b,c \in A : a \vee (b \wedge c) = (a \vee b) \wedge (a \vee c)</math> | ||
| + | |||
| + | |||
| + | Podmínky 1 a 2 jsou navzájem duální, tzn. platí-li jedna pak platí i druhá. | ||
| + | |||
| + | == Podsvaz distributivního svazu == | ||
| + | Je-li svaz (A,∧,∨) distributivní, pak každý jeho [[podsvaz]] je také distributivní. | ||
| + | |||
| + | == Vlastnosti == | ||
| + | Svaz (A,∧,∨) je distributivní právě tehdy, když žádný jeho [[podsvaz]] není [[izomorfismus|izomorfní]] s M<sub>5</sub> ani N<sub>5</sub>, | ||
| + | neboť tyto svazy distributivní nejsou (M<sub>5</sub> je tzv. diamant , N<sub>5</sub> tzv. pentagon). | ||
| + | |||
| + | V distributivním svazu platí obdoba pravidla o krácení z [[grupa|grup]] , tedy <math>\forall a,b,c \in A : a \wedge b = a \wedge c, a \vee b = a \vee c \Rightarrow b=c</math>. | ||
| + | |||
| + | Každý distributivní svaz je také [[Modulární svaz|modulární]]. | ||
| + | |||
| + | == Příklad == | ||
| + | Svaz (P(M),<math> \subseteq \,\! </math>), kde P(M) je [[Potenční množina|potenční množina]] je distributivní. | ||
| + | |||
| + | == Související články == | ||
| + | * [[Svaz (matematika)|Svaz]] | ||
| + | * [[Modulární svaz]] | ||
| + | * [[Podsvaz]] | ||
| + | * [[Úplný svaz]] | ||
| + | |||
| + | |||
| + | {{Článek z Wikipedie}} | ||
[[Kategorie:Algebraické struktury]] | [[Kategorie:Algebraické struktury]] | ||
[[Kategorie:Teorie uspořádání]] | [[Kategorie:Teorie uspořádání]] | ||
Verze z 4. 9. 2014, 06:42
Distributivní svaz je v matematice označení svazu, jehož dvě operace jsou vzájemně distributivní.
Obsah |
Definice
Svaz (A,∧,∨) se nazývá distributivní, platí-li:
1. <math>\forall a,b,c \in A : a \wedge (b \vee c) = (a \wedge b) \vee (a \wedge c)</math>
2. <math>\forall a,b,c \in A : a \vee (b \wedge c) = (a \vee b) \wedge (a \vee c)</math>
Podmínky 1 a 2 jsou navzájem duální, tzn. platí-li jedna pak platí i druhá.
Podsvaz distributivního svazu
Je-li svaz (A,∧,∨) distributivní, pak každý jeho podsvaz je také distributivní.
Vlastnosti
Svaz (A,∧,∨) je distributivní právě tehdy, když žádný jeho podsvaz není izomorfní s M5 ani N5, neboť tyto svazy distributivní nejsou (M5 je tzv. diamant , N5 tzv. pentagon).
V distributivním svazu platí obdoba pravidla o krácení z grup , tedy <math>\forall a,b,c \in A : a \wedge b = a \wedge c, a \vee b = a \vee c \Rightarrow b=c</math>.
Každý distributivní svaz je také modulární.
Příklad
Svaz (P(M),<math> \subseteq \,\! </math>), kde P(M) je potenční množina je distributivní.
Související články
| Náklady na energie a provoz naší encyklopedie prudce vzrostly. Potřebujeme vaši podporu... Kolik ?? To je na Vás. Náš FIO účet — 2500575897 / 2010 |
|---|
| Informace o článku.
Článek je převzat z Wikipedie, otevřené encyklopedie, do které přispívají dobrovolníci z celého světa. |