Definitionen in der Mathematik WS 17 18

Was ist eine Definition?

• Eine Definition ist in der Mathematik eine Begriffsbestimmung, die nur aus Grundbegriffen oder bereits definierten Begriffen besteht.
  
• Eine Definition ist nicht beweisbar und damit auch nicht wahr oder falsch sondern höchstens sinnvoll oder nicht sinnvoll.
  Anmerkung: Sie können z. B. eine Raute auf verschiedene Arten definieren. Alle Definitionen sollten aber immer die uns bekannte Raute beschreiben und nicht plötzlich eine andere Figur (Fünfeck, Trapez etc.). Das wäre dann natürlich schon falsch! Beispiele für in diesem Sinne falsche Definitionen finden Sie in den Übungen 1.
• Eine Definition sollte so wenig wie möglich und so viel wie nötig beinhalten.
  Anmerkung: Dabei schwingt immer eine gewisse Unschärfe mit, die sich didaktisch begründen lässt:
  Bsp. Definition Rechteck:
  Ein Rechteck ist ein Viereck mit drei rechten Innenwinkel.
  Diese Definition ist so knapp wie möglich gehalten. Insbesondere genügt es die Eigenschaft: "besitzt drei rechte Innenwinkel" zu beschreiben, da sich der vierte rechte Innenwinkel zwangsläufig ergibt. In der Regel wird man hier aber ein Rechteck als Viereck mit vier rechten Innenwinkel definieren, da diese Definition insbesondere für Schülerinnen und Schüler einsichtiger und griffiger ist.
  
  

Genau dasselbe, nur ganz anders: Arten, Definitionen zu formulieren

Es gibt verschiedene Arten, Definitionen zu formulieren.

Beispiel 1: ggT zweier ganzer Zahlen

Die Begriffe Teiler und Euklidischer Algorithmus seien im Folgenden bereits exakt definiert.

Das Übliche, die Realdefinition

Es seien $a$ und $b$ zwei ganze Zahlen. $T$ sei die Menge aller Zahlen, die sowohl Teiler von $a$ als auch von $b$ sind. Die größte Zahl der Menge $T$ heißt größter gemeinsamer Teiler der Zahlen $a$ und $b$.

Konventionaldefinition, das Ganze in "wenn-dann"

Wenn eine Zahl $g$ sowohl die ganze Zahl $a$ als auch die ganze Zahl $b$ teilt und es keine Zahl $t$ gibt, die auch $a$ und $b$ teilt und dabei größer als $g$ ist, dann ist $g$ der größte gemeinsame Teiler von $a$ und $b$.

Schön, aber wie bekomme ich den ggT: die genetisch, operative Definition

Der letzte von 0 verschiedene Rest, den man bei Anwendung des Euklidischen Algorithmus auf die ganzen Zahlen $a$ und $b$ erhält, ist der größte gemeinsame Teiler der Zahlen $a$ und $b$.

Beispiel 2: Drachenviereck

Die Begriffe Dreieck, Viereck, Diagonale, Eckpunkt, Geradenspiegelung und achsensymmetrisch seien im Folgenden bereits definiert.

Realdefinition

Ein Viereck, bei dem die eine Diagonale Teilmenge der Mittelsenkrechten seiner anderen Diagonale ist, heißt Drachenviereck.

Konventionaldefinition

Wenn ein Viereck achsensymmetrisch bezüglich einer Geraden ist, die durch zwei Eckpunkte des Vierecks geht, dann heißt das Viereck Drachenviereck.

genetisch, operative Definition

Es sei $\overline{ABC}$ein Dreieck und $\ C'$ das Bild von $\ C$ bei der Spiegelung an $\ AB$. Das Viereck $\overline{AC'BC}$ ist ein Drachenviereck.

Ein wenig Didaktik: Definitionen auf verschiedenen Niveaustufen

Aus didaktischer Sicht lassen sich Definitionen auf verschiedenen Niveaustufen formulieren.

Das nachfolgende Skript gibt weitere Informationen:
* Definitionen

Entwicklung einer "neuen" Definition

Im Folgenden wollen wir versuchen, den (ihnen vermutlich wenig geläufigen) Begriff Ellipse zu definieren. Konstruktiv lässt sich eine Ellipse mit Hilfe der sogenannten Gärtnerkonstruktion, wie im folgenden Video, erzeugen.
YOUTUBE --> http://www.youtube.com/watch?v=7UD8hOs-vaI

Bemerkung zu obigem Video: Das geht natürlich noch schöner. Ansporn für Sie?

In einer ersten intuitiven Definition können wir also sagen:

• eine Ellipse ist ein geschlossenes Oval
• eine Ellipse ist ein Kreis, der an zwei gegenüberliegenden Punkten auseinandergezogen wird
• eine Ellipse ist ein Kreis mit zwei Mittelpunkten
• eine Ellipse ist das, was bei der Gärtnerkonstruktion entsteht --Schnirch (Diskussion) 15:18, 23. Okt. 2017 (CEST) (erarbeitet am 23.10.17 in der Vorlesung)

Das folgende Applet empfindet die Gärtnerkonstruktion nach.
Falls nichts angezeigt wird, können Sie mit folgendem Link den Servercache leeren.

Aufgaben:

1. Experimentieren Sie nun mit dem Applet und machen Sie sich dabei die mathematischen Zusammenhänge klar (Tipp: Bewegen Sie den Punkt P und beobachten Sie die Strecken a und b).
   Welche Zusammenhänge entdecken Sie?
2. Versuchen Sie nun aus den Erkenntnissen eine formale Definition des Begriffs
   Ellipse zu entwickeln.
   
   

Definition E.1: Ellipse

Eine Ellipse ist die Menge aller Punkte P, für die gilt $\overline{F_1P}$ + $\overline{F_2P}= const.$ mit $F_1\in E$ ,$F_2\in E$ , $P\in E$ mit E=Ebene. --Heidelberg13 (Diskussion) 10:12, 24. Okt. 2017 (CEST)

1. Können Sie nun den Begriff Kreis unter Verwendung des Oberbegriffs Ellipse definieren?
   

Vereinbarung: Wir setzen ebene Geometrie voraus.

Definition K.1: Kreis als spezielle Ellipse

Ein Kreis ist eine Ellipse für die gilt F₁ = F₂. --BeThereOrBeSquare (Diskussion) 17:55, 25. Okt. 2017 (CEST)