Diskussion:Immersion (Mathematik)

Ich ändere den Begriff Differential in pushforward, da nur im spezialfall $T_{p}\mathbb {R} ^{m}\rightarrow T_{F(p)}\mathbb {R} ^{n}$ das $F_{*}$ mit $DF$ korrespondiert. (Passt auch schön zur Verwendung von pullback) Paul Wenk 23:56, 8. Feb 2006 (CET)

Ich kenne "Differential" als übliche Bezeichnung für den allgemeinen Fall, mit den austauschbaren Bezeichnungen $f_{*}$ bzw. $df$; vgl. en:embedding.--Gunther 23:58, 8. Feb 2006 (CET)

Obige Unterscheidung weisst jedoch schön auf das Nicht-Notwendig-Euklidisch hin, was man nämlich sonst unter umständen vergisst, sozusagen: Zuerst mittels Karten herunterholen! Paul Wenk 00:04, 9. Feb 2006 (CET)

"Differential": [1] Definition 3.11, S. 27

"Ableitung": [2] Definition 2.12, S. 9

"push-forward" erscheint mir unüblich und unnötig.--Gunther 00:11, 9. Feb 2006 (CET)

Ich könnte ebenso [3] und andere angeben, in welchen diese sinnvole Unterscheidung durchgeführt wird. Aber wenn es der allgemeinheit unüblich ist, muss ich nicht darauf bestehen.Paul Wenk 00:37, 9. Feb 2006 (CET)

Jemandem, der "Homeomorphismus" schreibt, würde ich in Bezeichnungsfragen nicht trauen.--Gunther 00:42, 9. Feb 2006 (CET)

Ich hoffe durch die neueste Änderungen nun allen Geschmäckern gerecht zu werden. So sind jedenfalls Missverständnisse ausgeschlossen.--Paul Wenk 11:45, 9. Feb 2006 (CET)

Ehrlich gesagt: nein. Ich sehe immer noch keinen Grund, zwischen dem $\mathbb {R} ^{n}$ und anderen Mannigfaltigkeiten zu unterscheiden.--Gunther 12:01, 9. Feb 2006 (CET)

Die Koordinaten-Unabhängige Form wird durch den Ausdruck Pushforward besser bewahrt. Immer, wenn Du nachsehen möchtest, ob eine Abb. zw. Mannigfaltigkeiten glatt ist musst Du in die Koordinatendarstellung, in koordinatenunabhängiger Form ist sowas (meistens) nicht zu erkennen. Die Def. des Pushf., wie ich sie jetzt in Wikipedia eingegeben habe, befreit von der Annahme, man sei in Koordinatendarstellung.--Paul Wenk 12:43, 9. Feb 2006 (CET)

Und noch ein Argument: Wie schön ist die Dualität zu $F^{*}$! Das ist doch das tolle an der Koordinatenunabhängigkeit: Größere Strukturen sollen zutage treten, jene, die im lokalen nur schwer="mit viel Rechenaufwand" zu erkennen sind. Damit es da nicht zu Missverständnissen kommt: Pushforward!--Paul Wenk 12:54, 9. Feb 2006 (CET)

Es geht nicht darum, was Dir besser gefällt oder aus irgendwelchen höheren Gesichtspunkten vorzuziehen ist, sondern schlicht darum, was üblich ist, und das spricht ganz klar gegen push-forward.--Gunther 13:25, 9. Feb 2006 (CET)

ÜBLICH, sind Fehler. Und die gilt es zu vermeiden. Daher sollte man schon auf die Entwicklung der Wissenschaften achten. Dazu gehört hier die schon nicht mehr so junge Idee der Ablösung von lokalen Koordinaten. Das hat mit persönlicher Meinung nichts zu tun [[4]]. Es währe schade anderen den Zugang (der nun wirklich nicht neu ist-siehe Lee und co) zu dieser allgemeinen Betrachtung zu verwähren. Vorallem in der modernen Literatur wird dieser Begriff häufig verwendet, was nur eine positiver Resonanz haben kann, wenn Leser hier diesen Begriff in diesem Zusammenhang vorfinden. (Wäre nur zu schön, wenn ich hier MEINE Idee popagieren würde!)

(Wenn Du trotzdem den Artikel auf biegen und brechen ändern möchtest, bitte ich Dich den Ausdruck Pushf. wenigstens als Synonym zu lassen. Meinungen anderer wären natürlich auch schön, aber das braucht leider Zeit...)

--Paul Wenk 14:00, 9. Feb 2006 (CET)

Die intrinsische Sichtweise hat nichts mit den verwendeten Wörtern zu tun, siehe Tangentialraum#Die_Totalableitung_einer_Abbildung oder die o.a. Skripten.--Gunther 14:04, 9. Feb 2006 (CET)

Das ist ein gutes Beispiel, warum die Darstelung mit D zwar ÜBLICH, für den Anfänger jedoch verwirrend sein kann: In Tangentialraum#Die_Totalableitung_einer_Abbildung,nämlich in"(df)_p(D)(g) = D(g o f) ", wird "wie üblich" D für die Betrachtung mittels Derivationen verwendet. In pushforward oder [[5]] wird klar: Du kannst irgendein Tngentialvektor X (aus dem entsprechenden Tangentialraum) einsetzen, nenn es, wenn Du magst Y...aber eben nicht nur D. Die Beharrung auf D oder ein anderes Zeichen hat unter dieser sinnvollen, allgeminen Definition KEINEN SINN MEHR!

Man zieht Kovektorfelder zurück und drückt VF nach vorne. Was es im lokalen bedeutet ist noch z.z.. Dies ist für viele schwierig einzusehen, aber ein sinnvolles Vorgehen in der Mathematik ist: Man definiere eine Abstrakte Struktur (natürlich mit einer Motivation im Hinterkopf) und beweise dann, dass diese -z.b. im Lokalen- mit unserer Anschauung übereinstimmt.--Paul Wenk 14:35, 9. Feb 2006 (CET)

Ich glaube, wir reden aneinander vorbei. Es geht mir nicht um die Frage, ob man jetzt $\mathrm {d} f$, $\mathrm {D} f$ oder $f_{*}$ schreibt, sondern hauptsächlich um die im Deutschen wenig verbreitete Bezeichnung push-forward (die außerdem ziemlich mehrdeutig ist, alle möglichen kovariant-funktoriellen Konstruktionen werden so genannt).

Zur zitierten Formel: D steht dort für einen beliebigen Tangentialvektor, und er heißt nur deshalb D, weil er als Derivation aufgefasst wird. Das hat nichts mit dem D oder d als Zeichen für die Totalableitung zu tun.--Gunther 14:41, 9. Feb 2006 (CET)

"Zur zitierten Formel: D steht dort für einen beliebigen Tangentialvektor, und er heißt nur deshalb D, weil er als Derivation aufgefasst wird. Das hat nichts mit dem D oder d als Zeichen für die Totalableitung zu tun". Das wissen WIR, aber nicht unbedingt andere. Genau darum geht es mir und deshalb versuche ich den allgemeinsten Zugang zu veröffentlichen, sozusagen: "Denke noch nicht an Ableitung!" und erst dann der Weg in bekannte Gefilde. Aus dem Allgemeinen ins Konkrete, der Leser darf bestimmen, was er braucht.

Persönliches/Allgemeines: Das ist auch das, was ich unter einem guten Nachschlagewek bezogen auf Naturwissenschaften verstehe: Zuerst die allgemeinste Definition. Dann kann ich mich bis zu der Stelle Durcharbeiten, die ich benötige. Dieses Vorgehen ist weitaus übersichtlicher und Platzsparender als ein Wust an Beispielen und Spezialfällen aus dem sich schliesslich ein allgemeines Konzept erhebt-leider ist der Leser dann aber so mit seiner Anschuung beschäftigt, dass er das allgemeine Prinzip nicht mehr zu würdigen weiss.
Der Name hat somit eine nicht unbedeutende Wirkung. Verwirrung wird durch den Spezialfall im $\mathbb {R} ^{n}$ vermieden. Da steht sogar D. Wo ist dann noch ein Problem? Warum sollte man sich daran stören?

--Paul Wenk 15:30, 9. Feb 2006 (CET)

Können wir uns vielleicht mal auf einen Punkt beschränken?

• Name für die induzierte Abbildung $TM\to TN$
• Notation für selbige
• Buchstaben für Tangentialvektoren
• Gestaltung eines Enzyklopädieartikels

Mir ging es um den ersten Punkt, und Du konntest mir bislang nur ein Skript als Beleg angeben, das ohnehin Probleme mit den korrekten deutschen Bezeichnungen hat. Aus didaktischen Erwägungen heraus unübliche Bezeichnungen zu verwenden ist inakzeptabel, wir schreiben kein Lehrbuch, sondern dokumentieren lediglich "die Welt da draußen".--Gunther 16:00, 9. Feb 2006 (CET)

Zunächst stellt man fest: Denjenigen, die sich an einer Deinition der Differentialgeometrie versucht haben, ist der Begriff nicht fremd:

• [[6]]

Desweiteren lassen sich zich Vorlesungen (darunter auch diejenige, die ich einst besucht habe) und Arbeiten aufzählen, wo der Begriff Pushforward den Wissenschaftlern sowie Studenten nicht so fremd ist wie anscheinend Dir:

In der Vorlesung von Prof. D.A. Salamon

• [[7]] S.15

oder in der Prof. Riviere

• [[8]] S.52

er wird in Dissertationen verwendet:

• [[9]]

...in der ART:

• [[10]]

Bevor Du anfängst zu kritisieren, solltest Du dich zunächst informieren.

Natürlich kann man statt Pushforward das ganze "totales Differential" nennen, aber, um auf Deine Kritik einzugehen: Damit DOKUMENTIERT man nicht das allgemeinere Konzept, das sich hinter diesem Begriff verbirgt und Dir anscheinnd fremdartig erscheint.

Zur Tatsache, dass es Dir nicht passt, nun ein abschliessendes Wort: Ich habe erst vor 2 Tagen angefangen mich mit Wikipedia zu beschäftigen. Ein tolles Konzept. ZUFÄLLIGERWEISE las ich auch den Kommentar "Löschen und sperren" auf [[11]]. Um ehrlich zu sein, habe ich dieses noch vor 2 Tagen nicht verstanden.--Paul Wenk 11:24, 10. Feb 2006 (CET)

Sorry, aber nach Belegen zu fragen, wenn mir etwas ungewöhnlich erscheint, sehe ich als Teil meiner Aufgabe hier. Zu Deinen Belegen:

• [12]: bezieht sich nicht ausreichend klar auf das Differential
• [13]: Bezieht sich auf Vektorfelder, die Abbildung zwischen den Tangentialräumen heißt Tangentialabbildung (S. 10)
• [14]: Def. 2.20 bezieht sich auf Vektorfelder, in Def. 2.17 lese ich nur etwas von tangent map
• [15] Ich finde nur push-forwards von Dichtefunktionen
• [16]: Def. 2.70 bezieht sich auf Tensorfelder; der Satz unmittelbar davor legt nahe, dass die Abbildung zwischen den Tangentialräumen Differential genannt wird

Für den push-forward von Vektorfeldern würde mir auch kein anderer Begriff einfallen, aber darum geht es hier nicht.--Gunther 12:22, 10. Feb 2006 (CET)

Irgendwie ist Dein letzter Kommentar entbößend: Lies Dir mal z.B. S.87 in dem Buch durch, das ich in der Literaturliste angebe (oder irgendein anderes). Dann wird Dir vielleicht klar, wie man sich einen pushforward von Vektorfeldern "bastelt"/wann es einen gibt. Und dann -vielleicht- wird Dir klar, was das mit dem pushforward von einzelnen Tangentialvektoren zu tun hat (hint: eine Namensunterscheidung macht keinen(!) Sinn). Die Thematik hier explizit durchzuackern, da fehlt mir einfach die Zeit zu.--Paul Wenk 13:11, 10. Feb 2006 (CET)

Natürlich hängen die beiden Begriffe sehr eng zusammen (allerdings hat jede Abbildung ein Differential, während man einen push-forward für Vektorfelder nur entlang eines Diffeomorphismus vernünftig definieren kann). Aber selbst die von Dir angegebenen Quellen verwenden doch zwei verschiedene Bezeichnungen.--Gunther 13:21, 10. Feb 2006 (CET)