Korrektes Setzen von Mengen und Funktion mit >= 1 Buchsta

Formelsatz für Mathematik, Naturwissenschaften und Technik


guy.brush™
Forum-Century
Forum-Century
Beiträge: 185
Registriert: So 8. Aug 2010, 19:43
Wohnort: Earth

Korrektes Setzen von Mengen und Funktion mit >= 1 Buchsta

Beitrag von guy.brush™ »

Hallo,

mich würde interessieren, wie man Mengen und Funktionen mit mehr als 1 Buchstaben korrekt setzt. Meine Intuition sprach dafür, dass diese jeweils in aufrechter Serifenschrift gesetzt werden (die Mathematikschrift scheint im Vergleich zur normalen Textschrift halbfett zu sein). Dies gilt insbesondere für Funktionen, da ich etwas wie Mat(n, m;K) oder hom(A, B) ebenso im weiteren Sinne als "Mathe-Operator" wie \sin, \log, etc. verstanden habe.

Aus diesem Grund habe ich für derartiges stets den Befehl \DeclareMathOperator verwendet. Ist dies so, zumindest für Funktionen bzw. Mengen von Funktionen mit mehr als 1 Buchstaben, korrekt?

Mir fiel bisher nur ein Problem mit dem Abstand auf, da meiner Meinung nach folgende Aussagen korrekt sein sollten:
falsch:
\Phi : $\Mat(n, m; \mathds{K}) \rightarrow \Mat(n, m; \mathds{F})$
richtig:
\Psi\colon $\Mat(n, m; \mathds{K}) \rightarrow \Mat(n, m; \mathds{F})$
Sprich, in diesem Fall muss ein \colon verwendet werden, da : ein binärer Operator ist. Da ich, wie oben erwähnt, \Mat via \DeclareMathOperator definiert habe, setzt er hier falschen (quasi etwas weniger als den doppelten) Abstand zwischen \colon und dem ersten \Mat.

Ist hier also die Verwendung von \DeclareMathOperator falsch? Zumindest ist \hom standardmäßig in LaTeX definiert und hat denselben Fehler als Resultat.

Bei Mengen mit mehreren Buchstaben - dies ist nicht überall in der Mathematik üblich, ich kenne es z.B. bisher nur aus der theoretischen Informatik - frage ich mich demnach auch, ob diese als \DeclareMathOperator definiert werden sollten oder doch via \mathrm oder ob meine Annahme hier falsch ist, dass diese aufrecht geschrieben werden sollen und demnach ganz anders definiert werden müssten?


Viele Grüße,

guy.brush

PS: Den Doppelpunkt als binären Operator verwende ich z.B. in Formeln mit Quantoren wie z.B. "$\forall x \in X : \exists x = 42$".

Mat(n, m; \field{K}) steht für die Menge der n x m Matrizen über dem Körper K und hom ist die Menge der Homomorphismen.
Arch Linux - KDE - TeXLive - Kile - \me = Advanced Newbie

Interessensschwerpunkte: Mathematik- und Formelsatz sowie mathematische (Mikro-)Typographie
Offenes Problem: negierte \xarrow-Pfeile beliebiger Länge

guy.brush™
Forum-Century
Forum-Century
Beiträge: 185
Registriert: So 8. Aug 2010, 19:43
Wohnort: Earth

Beitrag von guy.brush™ »

Hallo,

hm, ist das Problem bzw. die Lösung keinem bewusst oder habe ich mich nur unklar ausgedrückt? :)

Viele Grüße,

guy.brush™
Arch Linux - KDE - TeXLive - Kile - \me = Advanced Newbie

Interessensschwerpunkte: Mathematik- und Formelsatz sowie mathematische (Mikro-)Typographie
Offenes Problem: negierte \xarrow-Pfeile beliebiger Länge

Antworten