wiederholung

21
30.10.2007 1 Wiederholung |B|=n |U|=m beliebi g injekti v n · m surjekt iv n ¸ m bijekti v n=m m n m n S n,m *m! m! 1 m k=1 S n,k 1 S n,m 1 m k=1 P n,k 1 P n,m 1 ³ n+ m ¡ 1 n ´ ³ m n ´ ³ n¡ 1 m¡1 ´

Upload: kirby

Post on 07-Jan-2016

44 views

Category:

Documents


2 download

DESCRIPTION

Wiederholung. TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A. Wiederholung. Partielle Ordnungen Reflexive transitive Hülle Lineare Ordnung Hasse-Diagramm Suprema und Infima Steht noch aus: (Distributive) Verbände. 36. 42. Maxima und Suprema. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Wiederholung

30.10.2007 1

Wiederholung|B|=n

|U|=m

beliebig injektiv

n · msurjektiv

n ¸ m

bijektiv

n=m

mn mn Sn,m*m! m!

1

mk=1 Sn,k 1 Sn,m 1

mk=1 Pn,k 1 Pn,m 1

³n+m¡ 1

n

´ ³mn

´ ³n¡ 1m¡ 1

´

Page 2: Wiederholung

30.10.2007 2

Wiederholung

Partielle Ordnungen Reflexive transitive Hülle Lineare Ordnung Hasse-Diagramm Suprema und Infima Steht noch aus: (Distributive) Verbände

Page 3: Wiederholung

30.10.2007 3

Maxima und Suprema

Sei (S, ¹) poset.

Def: y 2 S max. Element , 8 x 2 S: x ¹ y oder x,y unvergleichbar

36, 42 sind maximale Elemente x 2 S min. Element , 8 y 2 S: x ¹ y oder x,y unvergleichbar

2,3,7 sind minimale Elemente a obere Schranke von x,y , x¹ a und y ¹ a. a Supremum von x,y , 8 b, b obere Schranke von x,y: a ¹ b.

Schreibweise: a=x Ç y. 3 Ç 14 = 42, 7 Ç 14=14. 2 und 3 besitzen obere Schranken 18,12,36,42:

Kein Supremum, da unvergleichbar. 7 und 12 besitzen keine gemeinsame obere Schranke.

a Infimum von x,y , 8 b, b untere Schranke von x,y: b ¹ a. Schreibweise: a=x Æ y.

36

18

2

1412

42

73

Page 4: Wiederholung

30.10.2007 4

Verband

Def: Eine partielle Ordnung (S, ¹) heisst Verband , 8 x,y 2 S: x Ç y und x Æ y existieren.Eine Verband ist distributiv, falls für alle x, y, z 2 S:

x Æ (y Ç z) = (x Æ y) Ç (x Æ z)

In jedem Verband gilt: Kommutativität: x Ç y = y Ç x, x Æ y = y Æ x

Assoziativität: (x Ç y) Ç z = x Ç (y Ç z), (x Æ y) Æ z = x Æ (y Æ z)

Idempotenz: x Ç x = x, x Æ x = x

Absorption: x Ç (x Æ y) = x, x Æ (x Ç y) = x

Page 5: Wiederholung

30.10.2007 5

2. Distributivgesetz

1. Distributivgesetz: x Æ (y Ç z) = (x Æ y) Ç (x Æ z)

Satz: In jedem distributiven Verband gilt:x Ç (y Æ z) = (x Ç y) Æ (x Ç z)

Beweis: (x Ç y) Æ (x Ç z) = ((x Ç y) Æ x) Ç ((x Ç y) Æ z)= ((x Æ x) Ç (x Æ y)) Ç ((x Æ z) Ç (y Æ z))= ( x Ç (x Æ y)) Ç ((x Æ z) Ç (y Æ z))= x Ç ((x Æ z) Ç (y Æ z))

= (x Ç (x Æ z)) Ç (y Æ z) = x Ç (y Æ z)

Page 6: Wiederholung

30.10.2007 6

Verbandoperation versus OrdnungSatz: Sei (S, ¹) ein Verband. Dann gilt für x, y 2 S:

x Ç y = y , x ¹ y , x Æ y = x

Beweis: Zeigen x Ç y = y,x ¹ y, 2. Äquivalenz analog ) : Definition von x ¹ y (: Sei x ¹ y.

S Verband ) x Ç y = z existiert mit x ¹ y ¹ z Annahme: Supremum z y.

y und z sind beides obere Schranken von x, y y ¹ z, d.h. z kann kein Supremum von x, y sein

Page 7: Wiederholung

30.10.2007 7

Beispiele

(N, ·), (Z, ·), (Q, ·), (R, ·) sind distributive Verbände. Hasse Diagramme sind unendliche Ketten.

Sei S eine Menge. Dann ist (P(S), µ) ein distributiver Verband. (P(S), µ) ist eine partielle Ordnung. Seien A, B 2 P(S). Dann gilt

A Æ B = Übungsaufgabe A Ç B = Übungsaufgabe

Distributivgesetz: A Æ (B Ç C) = (A Æ B) Ç (A Æ C) Sei V ein Vektorraum und U(V) die Menge aller Untervektorräume von V.

Dann ist (U(V), µ) ein Verband. (U(V), µ) ist eine partielle Ordnung. Seien U1, U2 2 U(V). Dann gilt:

U1 Æ U2 = U1 Å U2 U1 Ç U2 = <U1 [ U2>, der von U1 Å U2 erzeugte Raum

Distributivgesetz: U1 Å (<U2 [ U3>) = <(U1 Å U2) [ (U1 Å U3)>

A B

C

Page 8: Wiederholung

30.10.2007 8

Weitere Verbände

Verband gegeben durch Verknüpfungstafeln

Hasse Diagramm:

Ç a b c d

a a a a a

b a b a b

c a a c c

d a b c d

Æ a b c d

a a b c d

b b b d d

c c d c d

d d d d d

a

b c

d

Page 9: Wiederholung

30.10.2007 9

Nicht-distributive Verbände

Linke Abbildung: b Ç (c Æ d) = b Ç e = b, aber (b Ç c) Æ (b Ç d) = a Æ a = a

Rechte Abbildung: d Ç (b Æ c) = d Ç e = d, aber (d Ç b) Æ (d Ç c) = a Æ c = c

a

b c d

e

a

bc

d

e

Page 10: Wiederholung

30.10.2007 10

Anwendungsbeispiel: Zugriffskontrolle Zugriffsrechte Z = {jeder, Gruppe, Admin} mit:

jeder ¹ Gruppe ¹ Admin Studium S = {Mathe, AI, ITS} Information i erhält Zuweisung

(z, S‘) mit z 2 Z und S‘ µ S Person p erhält Klassifikation

(zp, Sp) mit zp in Z und S‘ µ S p darf auf i zugreifen , z ¹ zp und S‘ µ Sp

, (z,p) ¹ (zp, Sp)d.h. (Z £ P(S), ¹) muss distributiven Verband bilden. Bsp: i = (jeder, {ITS}) p mit (Admin, {AI,Mathe}) darf nicht zugreifen. p mit (Gruppe, {AI, ITS}) darf zugreifen

Page 11: Wiederholung

30.10.2007 11

Graphentheorie

Ungerichtete Graphen Zusammenhangskomponenten Traversierungen: Breiten- und Tiefensuche Besuchen aller Kanten, Knoten Färben, Heiratssatz

Gerichtete Graphen Kreisfreiheit, topologische Sortierung gewurzelte Bäume

Gewichtete Graphen Minimale Wege/ Spannbäume

Page 12: Wiederholung

30.10.2007 12

Definition ungerichteter GraphDef: Ein ungerichteter Graph G ist ein Tupel G=(V,E), wobei

V={v1,…,vn} die Menge der Knoten E={e1,…,em} die Menge der Kantenist. Sei :={{u,v} µ V2 | u v} die Menge der 2-elementigen Teilmengen von V.

Dann ist E µ .

V = {1,2,3,4,5} E={{1,2},{1,3},{1,4},{2,3},{2,4},{2,5},{3,4},{4,5}}

³V2

´

³V2

´

2

1

4

3

5

Page 13: Wiederholung

30.10.2007 13

Was (noch) nicht erlaubt ist

Schlingen: {v,v} E

Mehrfachkanten: E ist keine Multimenge.

Gewichtete Kanten: g: E ! Z (dazu später) 1

3

Page 14: Wiederholung

30.10.2007 14

Anwendungsbeispiel GraphenTurnier mit Teilnehmern a,b,c,d,e: Modus: Jeder gegen jeden Keiner soll in aufeinander folgenden Spielen antretenModellierung als Graph G: Stelle alle 10 Paarungen als Knoten in G dar. Verbinde Knoten {u1,v1}, {u2,v2} gdw {u1,v1} Å {u2, v2} = ;

Graphproblem:Finde einen Pfad, der alle Knoten genau einmal besucht.

ab

cd de

be ac

bdad

bcae

ce

Page 15: Wiederholung

30.10.2007 15

Isomorphien von Graphen

Def: G1=(V1,E1) und G2=(V2,E2) isomorph , 9 Bijektion f:V1 ! V2: {u,v} 2 E1 , {f(u), f(v)} 2 E2

Isomorphieklassen von Graphen mit n Knoten: n=1: n=2:

n=3:

2

1

4

3

5

2

1

4

3

52

1

4

3

5

Page 16: Wiederholung

30.10.2007 16

Mehr Isomorphieklassenn # Graphen mit |V|=n

1 1

2 2

3 4

4 11

5 34

6 156

7 1044

8 12344

9 308168

Page 17: Wiederholung

30.10.2007 17

Spezielle Grahphen vollständiger Graph Kn:

n Knoten paarweise miteinander verbunden

Gittergraph Mn,m: n Zeilen von m Knoten zeilen- und

spaltenweise verbunden

Kreisgraph Cn: n Knoten zirkulär verbunden

Pfad Pn: n Knoten als Pfad verbunden

d-dim Hyperwürfel Qn: V = {v 2 (0,1)n} E = {u,v in V2 | u, v unterscheiden sich in

einer Stelle}

Page 18: Wiederholung

30.10.2007 18

Nachbarschaft, Grad, regulär, InzidenzDef: Sei G=(V,E) ein Graph. Nachbarschaft von v 2 V:

¡(v) = {u 2 V | {u,v} 2 E} Grad von v 2 V: deg(v) = |¡(v)| G heisst k-regulär , deg(v)=k 8 v 2 V u,v 2 V adjazent , {u,v} 2 E Sei e={u,v} 2 E.

u,v heißen Endpunkte von e. Man nennt u und e (bzw. v und e) inzident.

Page 19: Wiederholung

30.10.2007 19

Handschlaglemma

Satz: Für jeden Graphen G=(V,E) gilt:

v 2 V deg(v) = 2 |E|.

Beweis: v 2 V deg(v) = sumv 2 V |¡(v)| = v 2 V |{u 2 V | {u,v} 2 E}| Jede Kante {u,v} wird doppelt gezählt:

Einmal bei den Nachbarn von u und einmal bei den Nachbarn von v.

V: Gruppe von PersonenE: Paare von Personen, die sich per Handschlag begrüßen.

Page 20: Wiederholung

30.10.2007 20

Handschlaglemma Teil 2

Korollar: Für jeden Graphen G=(V,E) gilt:Die Anzahl der Knoten mit ungeradem Grad ist gerade.

Beweis: Sei Vg:= {v 2 V | deg(v) gerade}, Vu:={v 2 V | deg(v) ungerade} Es gilt:

Die linke Summe ist gerade, da jeder Summand gerade ist.) Die rechte Summe muss gerade sein.

(Falls nicht ist die Gesamtsumme ungerade). Die rechte Summe muss eine Summe über gerade viele ungerade Terme sein,

d.h. |Vu| = 0 mod 2.

Auf jedem Empfang geben gerade viele Gäste ungerade vielen die Hand.

2jE j =X

v2Vdeg(v)

=X

v2Vg

deg(v) +X

v2Vu

deg(v)

Page 21: Wiederholung

30.10.2007 21

Zusammenfassung

Verband Partielle Ordnung Suprema und Infima xÇy und xÆy existieren Distributiver Verband

Ungerichtete Graphen Isomorphien Spezielle Graphen

Vollständig, Gitter, Kreis, Pfad, Hyperwürfel Handschlaglemma