Informatiker Board | Theoretische Informatik | positive Hülle

Informatiker Board » Themengebiete » Theoretische Informatik » positive Hülle » Antwort erstellen

» Hallo Gast [Anmelden|Registrieren]

Antwort erstellen

Benutzername:

(du bist nicht eingeloggt!)

Thema:

Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33

einfacher Modus erweiterter Modus

aktuellen Tag schließen

alle Tags schließen

Spamschutz:
Text aus Bild eingeben

URLs automatisch umwandeln: fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen: Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen

Die letzten 4 Beiträge

Tobias

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.

sylo

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.

Tobias

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]$

sylo

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