+1 Daumen
300 Aufrufe

Sry, habe die Betragsstriche vergessen:

Wenn (V1⊆V2 ∧ E1⊆E2), dann |V1|≤|V2| und |E1|≤|E2|.

Weil auch |V2|≤|V3| und |E2|≤|E3| muss auch |V1|≤|V3| und |E1|≤|E3| sein, weil |V1|≤|V2|≤|V3| => |V1|≤|V3| und |E1|≤|E2|≤|E3| =>|E1|≤|E3| gilt.


Es sei die Relation \( R(G,\sim)\) zweier Graphen (unger., mark.) mit

\(G_1 \sim G_2 \Leftrightarrow \) \(G_1\) ist Teilgraph von \(G_2\)

gegeben.

Beweisen Sie, dass \( R(G,\sim)\) eine partielle Ordnung (Poset) ist.


Reflexiv:

Legende: \(G=(V,E)\) Graph \(G\) mit \(V=\) Knoten, \(E=\) Kanten


(G1,G1) Wahr, weil jeder Graph auch Teilgraph von sich selber ist. (G1∼G1) weil V1⊆V2∧E1⊆E2 .

Antisymmetrisch:

(G1∼G2)∧(G2∼G1)=>G1=G2 <=> (V1⊆V2 ∧ E1⊆E2) ∧ (V2⊆V1 ∧ E2⊆E1) => (V1=V2 ∧ E1=E2) und demnach identisch, also G1=G2.

Transitiv:

(G1∼G2) ∧ (G2∼G3) => (G1∼G3)

(V1⊆V2 ∧ E1⊆E2) ∧ (V2⊆V3 ∧ E2⊆E3) => (V1⊆V3 ∧ E1⊆E3)

Wenn (V1⊆V2 ∧ E1⊆E2), dann V1≤V2 und E1≤E2.

Weil auch V2≤V3 und E2≤E3 muss auch V1≤V3 und E1≤E3 sein, weil V1≤V2≤V3 => V1≤V3 und E1≤E2≤E3 =>E1≤E3 gilt.

Refl., trans. und antisymm. erfüllt, also ist R eine partielle Ordnung (Poset).


Reicht das als Beweis?


MfG

Doesbaddel

EDIT: Sry, habe die Betragsstriche vergessen:

Wenn (V1⊆V2 ∧ E1⊆E2), dann |V1|≤|V2| und |E1|≤|E2|.

Weil auch |V2|≤|V3| und |E2|≤|E3| muss auch |V1|≤|V3| und |E1|≤|E3| sein, weil |V1|≤|V2|≤|V3| => |V1|≤|V3| und |E1|≤|E2|≤|E3| =>|E1|≤|E3| gilt.

Avatar von 2,1 k

Sry, habe die Betragsstriche vergessen:

Wenn (V1⊆V2 ∧ E1⊆E2), dann |V1|≤|V2| und |E1|≤|E2|.

Weil auch |V2|≤|V3| und |E2|≤|E3| muss auch |V1|≤|V3| und |E1|≤|E3| sein, weil |V1|≤|V2|≤|V3| => |V1|≤|V3| und |E1|≤|E2|≤|E3| =>|E1|≤|E3| gilt.

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community