• Martin Thoma
  • Home
  • Categories
  • Tags
  • Archives
  • Support me

Ist die Funktion / Relation wohldefiniert?

Contents

  • Ist die Funktion / Relation wohldefiniert?
    • Beispiel 1
    • Beispiel 2
    • Beispiel 3

Ich verstehe unter einer wohldefinierten Funktion / Relation die Unabhängigkeit von den Repräsentanten. Wikipedia sagt dazu:

Man kann in der Mathematik ein Objekt nicht nur durch eine Definitionsgleichung (explizit), sondern auch durch eine charakteristische Eigenschaft (implizit) definieren. Während eine explizite Definition immer zulässig ist, ist eine implizite Definition nur unter der Bedingung zulässig, dass es tatsächlich genau ein Objekt mit der angegebenen Eigenschaft gibt. Diese Bedingung nennt man die Wohldefiniertheit der impliziten Definition.

Quelle: Wohldefiniertheit

Beispiel 1

Sei \(f:\mathbb{Q} \rightarrow \mathbb{Q}\) eine Abbildung und definiert durch:

\(f(\frac{p}{q}) := \frac{p}{q}\)

Frage: Ist \(f\) wohldefiniert? Antwort: Ja. Es sei \(\frac{p'}{q'}\) die vollständig gekürzte Darstellung von \(\frac{p}{q}\). Also gilt: \(p = p' \cdot \lambda \land q = q' \cdot \lambda\) mit \(\lambda \in \mathbb{R} \setminus \{0\}\). \(\Rightarrow \frac{p}{q} = \frac{p' \cdot \lambda}{q' \cdot \lambda}\). \(\Rightarrow f(\frac{p}{q}) = \frac{p' \cdot \lambda}{q' \cdot \lambda} = \frac{p'}{q'}\). \(\Rightarrow f(\frac{p}{q})\) ist unabhängig vom Repräsentanten. \(\Rightarrow f\) ist wohldefiniert \(\blacksquare\)

Beispiel 2

Sei \(f:\mathbb{Q} \rightarrow \mathbb{Q}\) eine Abbildung und definiert durch:

\(f(\frac{p}{q}) := \frac{p+1}{q}\)

Frage: Ist \(f\) wohldefiniert? Antwort: Nein.

\(f(\frac{0}{1}) = \frac{0+1}{1} = 1 \neq \frac{1}{2} = \frac{0+1}{2} = f(\frac{0}{2}) \blacksquare\)

Beispiel 3

Sei \(f:\mathbb{Q} \rightarrow \mathbb{Q}\) eine Abbildung und definiert durch:

\(f(\frac{p}{q}) := \frac{p-q}{p+q}\)

Frage: Ist \(f\) wohldefiniert? Antwort: Ja.

Es sei \(\frac{p'}{q'}\) die vollständig gekürzte Darstellung von \(\frac{p}{q}\). Also gilt: \(p = p' \cdot \lambda \land q = q' \cdot \lambda\) mit \(\lambda \in \mathbb{R} \setminus \{0\}\).

\(\Rightarrow f(\frac{p}{q}) = f(\frac{\lambda \cdot p'}{\lambda \cdot q'}) = \frac{\lambda \cdot p' - \lambda \cdot q'}{\lambda \cdot p' + \lambda \cdot q'} = \frac{\lambda (p' - q')}{\lambda (p' + q')} = \frac{p' - q'}{p' + q'} \blacksquare\)


Published

Aug 12, 2012
by Martin Thoma

Category

Cyberculture

Tags

  • mathematics 59

Contact

  • Martin Thoma - A blog about Code, the Web and Cyberculture
  • E-mail subscription
  • RSS-Feed
  • Privacy/Datenschutzerklärung
  • Impressum
  • Powered by Pelican. Theme: Elegant by Talha Mansoor