„Részbenrendezett halmaz” változatai közötti eltérés
[nem ellenőrzött változat] | [ellenőrzött változat] |
Rtc (vitalap | szerkesztései) rm bad iw |
interwikik ki. wikidata |
||
44. sor: | 44. sor: | ||
* Szendrei Ágnes, ''Diszkrét matematika'', Polygon, JATE Bolyai Intézet, Szeged (1994) |
* Szendrei Ágnes, ''Diszkrét matematika'', Polygon, JATE Bolyai Intézet, Szeged (1994) |
||
== |
== További információk == |
||
* [http://mathworld.wolfram.com/PartiallyOrderedSet.html Partially Ordered Set] a MathWorld oldalán |
* [http://mathworld.wolfram.com/PartiallyOrderedSet.html Partially Ordered Set] a MathWorld oldalán |
||
* [http://www.renyi.hu/~csirmaz/ Forszolás (jegyzet)] Csirmaz László oldalán |
* [http://www.renyi.hu/~csirmaz/ Forszolás (jegyzet)] Csirmaz László oldalán |
||
50. sor: | 50. sor: | ||
[[Kategória:Halmazelmélet]] |
[[Kategória:Halmazelmélet]] |
||
[[Kategória:Relációkalkulus]] |
[[Kategória:Relációkalkulus]] |
||
[[en:Partially ordered set]] |
|||
[[ar:مجموعة مرتبة جزئيا]] |
|||
[[be:Адносіна парадку]] |
|||
[[ca:Conjunt parcialment ordenat]] |
|||
[[cs:Uspořádaná množina]] |
|||
[[eo:Partordo]] |
|||
[[es:Conjunto parcialmente ordenado]] |
|||
[[et:Osaline järjestus]] |
|||
[[fa:مجموعه جزئا مرتب]] |
|||
[[fr:Poset]] |
|||
[[he:סדר חלקי]] |
|||
[[it:Relazione d'ordine]] |
|||
[[ja:順序集合]] |
|||
[[ko:부분순서]] |
|||
[[nl:Partiële orde]] |
|||
[[oc:Relacion d'òrdre]] |
|||
[[pl:Częściowy porządek]] |
|||
[[pt:Conjunto parcialmente ordenado]] |
|||
[[ro:Relație de ordine]] |
|||
[[ru:Частично упорядоченное множество]] |
|||
[[sl:Relacija urejenosti]] |
|||
[[sv:Partiellt ordnad mängd]] |
|||
[[uk:Частково впорядкована множина]] |
|||
[[zh:偏序关系]] |
|||
[[zh-classical:偏序]] |
A lap 2013. március 4., 19:47-kori változata
A matematikában részbenrendezett halmaznak (vagy más néven parciálisan rendezett halmaznak) nevezünk egy halmazt, ha definiálva van a halmaz elemein egy részbenrendezés (vagy más néven parciális rendezés), azaz egy reflexív, antiszimmetrikus, tranzitív reláció. Részbenrendezett halmazok esetében tehát nem követeljük meg, hogy az alaphalmaz bármely két eleme összehasonlítható legyen, mint a rendezett halmazoknál.
Részbenrendezett halmaz rendezett részhalmazának neve: lánc, az olyan részhalmazé pedig, amelyben semelyik két elem sem hasonlítható össze, antilánc.
Részbenrendezett halmazok ábrázolására általában Hasse-diagramot használunk.
Definíció
Az párt részbenrendezett halmaznak nevezzük, ha tetszőleges halmaz, pedig -n értelmezett részbenrendezés, azaz tetszőleges elemekre teljesülnek a következők:
- ha és , akkor
- ha és , akkor
Kiterjesztés, kompatibilitás, atommentesség, elágazó részbenrendezett halmazok
Legyen tetszőleges részbenrendezett halmaz és . Azt mondjuk, hogy b kiterjesztése a-nak, ha , illetve valódi kiterjesztésről beszélünk, ha és
Legyen tetszőleges részbenrendezett halmaz és . Akkor mondjuk, hogy az és elemek kompatibilisek, ha van közös kiterjesztésük, azaz van olyan elem, amelyre és is teljesül. Ellenkező esetben inkompatibilis elemekről beszélünk.
Legyen tetszőleges részbenrendezett halmaz és . Az elemet atomnak nevezzük, ha az elemnek nincs valódi kiterjesztése. Az részbenrendezett halmazt atommentesnek nevezzük, ha nincs benne atom.
Az részbenrendezett halmazt elágazó részbenrendezett halmaznak nevezzük, ha tetszőleges elemekhez létezik olyan elem, hogy kompatibilis -val és inkompatibilis -vel.
Tulajdonságok
Legyen tetszőleges atommentes, elágazó részbenrendezett halmaz. Ekkor tetszőleges elemhez létezik elem úgy, hogy és egyaránt kiterjesztése -nak, azonban és egymással inkompatibilis.[1]
Példák
- A természetes számok halmazán értelmezett oszthatóság reláció részbenrendezés.
- Definíció szerint minden rendezett halmaz részbenrendezett.
Lásd még
Jegyzetek
- ↑ Lásd: Csirmaz László: Forszolás (jegyzet)
Hivatkozások
- Csirmaz László: Forszolás (jegyzet)
- Rédei László: Algebra I., Akadémiai Kiadó, Budapest (1954)
- Szász Gábor: Bevezetés a hálóelméletbe, Akadémiai Kiadó, Budapest (1959)
- Szendrei Ágnes, Diszkrét matematika, Polygon, JATE Bolyai Intézet, Szeged (1994)
További információk
- Partially Ordered Set a MathWorld oldalán
- Forszolás (jegyzet) Csirmaz László oldalán