Informatiker Board | Druckvorschau: positive Hülle

Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
-- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
--- positive Hülle (http://www.informatikerboard.de/board/thread.php?threadid=432)

Geschrieben von sylo am 12.07.2008 um 13:05:

positive Hülle

Hi zusammen

folgende Frage:

Was ist (L+)+ ?

Wir sind uns nicht einig. Entweder sollte es L+ oder L+L+ sein.

Hoffe es kann mir einer weiterhelfen.

Gruß
sylo

Geschrieben von Tobias am 12.07.2008 um 19:15:

Ich würde sagen: $[latex]L^+ = \left(L^+\right)^+[/latex]$ .

Beweis:

$[latex]L^+ = \left(L^+\right)^1 \subseteq \left(L^+\right)^+[/latex]$ .

$[latex]x \in \left(L^+\right)^+ \Rightarrow x \in \left(L^+\right)^n[/latex]$ für ein n. Damit lässt sich x zerlegen in $[latex]x = x_1\ldots x_n[/latex]$ mit $[latex]x_i \in L^{m_i}[/latex]$ . Dann ist aber $[latex]x \in L^{m_1} \cdot \ldots \cdot L^{m_n} = L^{m_1 + \ldots + m_n} \subseteq L^+[/latex]$

Geschrieben von sylo am 13.07.2008 um 01:09:

danke für deine antwort.
kannst du mir mal sagen wie du die Formeln so schön hinbekommst? Ich habe deine Argumentation nicht ganz verstanden und würde gerne noch was fragen. Aber ich kann das nicht so gut ohne die Formeln.

Geschrieben von Tobias am 13.07.2008 um 13:38:

Die Formeln bekommst du hin, indem du LateX-Code zwischen

code:
1:	[latex] ... [/latex]

Klammern setzt. z.B.

code:
1:	[latex]L^+ = \left(L^+\right)^+[/latex]

Zu meinem Beweis:
Die Mengengleichheit $[latex]L^+ = \left(L^+\right)^+[/latex]$ kann man zeigen, indem man zuerst $[latex]L^+ \subseteq \left(L^+\right)^+[/latex]$ und dann $[latex]L^+ \supseteq \left(L^+\right)^+[/latex]$ zeigt. Für den zweiten Fall nehmen wir ein x aus der rechten Menge und zeigen, dass dieses x auch in der linken Menge drin ist. Damit ist die Teilmengeneigenschaft gezeigt.