„Háló (matematika)” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
→Homomorfizmusok és részhálók: részhálók |
a →Homomorfizmusok és részhálók: linkek |
||
75. sor:
:<math>f(a\sqcup b)=f(a)\cup f(b)</math>
:<math>f(a\sqcap b)=f(a)\cap f(b)</math>,
akkor ''f'' hálóhomomorfizmus. Ha ''f'' bijektív, akkor [[izomorfizmus]].
A
:''a'' ≤ ''b'', akkor ''f''(''a'') ≤ ''f''(''b'').
Ez az állítás nem fordítható meg, azaz nem minden [[monotonitás|monoton]] hálófüggvény homomorfizmus.
''M'' részhálója ''L''-nek, ha zárt az ''L''-beli műveletekre nézve, azaz minden ''a'' és ''b'' elemére
:''a'' <math>\cup</math> ''b'' és ''a'' <math>\cap</math> ''b'' eleme ''M''-nek.
''M'' háló az ''L''-beli
== Lásd még ==
|