andreas teuchert 27. mai 2013andreas teuchert mathematik ii 27. mai 2013 2 / 38 ams: split-umgebung...

$: Andreas Teuchert 27. Mai 2013Andreas Teuchert Mathematik II 27. Mai 2013 2 / 38 AMS: split-Umgebung I wie bei multline können Gleichungen durch \\ umgebrochen werden I durch & kann$
Mathematik IILATEX-Kurs der Unix-AG

Andreas Teuchert

27. Mai 2013

Gleichungsumgebungen

Wiederholung: Umgebungen aus Teil I

I equation – eine einzeilige GleichungI align – mehrere einzeilige GleichungenI multline – eine mehrzeilige Gleichung (feste Ausrichtung)

Was noch fehlt:

I mehrzeilige Gleichungen mit Ausrichtung (split)I Eingebettete GleichungenI Untergleichungen

Andreas Teuchert Mathematik II 27. Mai 2013 2 / 38

AMS: split-Umgebung

I wie bei multline können Gleichungen durch \\umgebrochen werden

I durch & kann zusätzlich eine Ausrichtung erzeugt werdenI wird eingebettet in andere Umgebungen verwendetI stellt dann eine einzelne Gleichung dar

\begin{equation}\begin{split}x &= abc + dec + ghc\\

&= c(ab + de + gh)\end{split}\end{equation}

x = abc + dec + ghc= c(ab + de + gh)

(1)


AMS: Eingebettete Gleichungen

I wie bei split werden Gleichungen in Gleichungeneingebettet

I Umgebungen: aligned und alignedatI verhalten sich wie die Formen ohne „ed“; aber: keine

Nummerierung, nicht ganz so breitI Anwendung: mehrere Gleichungen mit Klammern

versehenI Unterschied zu split: split ist eine Gleichung, ...ed sind

mehrereI split mit Klammern zu versehen ergibt keinen Sinn (LATEX

versucht dann aligned zu verwenden)!


AMS: Eingebettete Gleichungen – Beispiel

\begin{equation}\left .\begin{aligned}&\sum_{\nu=1}^n I_\nu & &= 0\\&\sum_{\nu=1}^n U_\nu & &= 0\end{aligned}\right \rbrace \text{Kirchhoffsche Gesetze}\end{equation}

n

∑ν=1

Iν = 0

n

∑ν=1

Uν = 0

Kirchhoffsche Gesetze (2)


AMS: Fallunterscheidungen

I abschnittsweise definierte Funktionen können durchFallunterscheidungen beschrieben werden

I Fallunterscheidungen werden durch die cases-Umgebungdargestellt

I Zeilen- und Spaltentrennung wie bei Matrizen, allerdingsgibt es nur zwei Spalten

I geschweifte Klammer passender Größe wird automatischgesetzt


AMS: Fallunterscheidungen – Beispiel

\begin{equation}f(x) =\begin{cases}5 & \text{falls } x > 3\\-3 & \text{falls } x < 3\\0 & \text{sonst}\end{cases}\end{equation}

f (x) =

5 falls x > 3−3 falls x < 30 sonst

(3)


AMS: Untergleichungen

I mit der subequations-Umgebung können logischzusammenghörige Gleichungen zusammengefasst werden

I Nummerierung spiegelt den Zusammenhang wider

\begin{subequations}\begin{align}x &= \frac{1}{2} at^2 + v_0t + x_0\\v &= at + v_0\end{align}\end{subequations}

x =12

at2 + v0t + x0 (4a)

v = at + v0 (4b)


AMS: Gleichungsnummerierung anpassen

I Erinnerung: mit \notag kann die Nummerierung einzelnerGleichungen unterdrückt werden

I mit \tag{Irgendwas} kann statt der automatischenNummerierung beliebiger Text (hier „Irgendwas“)verwendet werden

I dieser Text wird auch für Verweise (\ref, \eqref)verwendet


AMS: Gleichungsnummerierung anpassen –Beispiel

\begin{align}f_1(x) &= a_1x^2 + b_1x + c_1\\f_2(x) &= a_2x^3 \tag{Fkt.-Gl. $f_2$} \label{eqn:f2}\\f_3(x) &= d_4 e^x\end{align}Siehe auch \ref{eqn:f2}.

f1(x) = a1x2 + b1x + c1 (5)

f2(x) = a2x3 (Fkt.-Gl. f2)f3(x) = d4ex (6)

Siehe auch Fkt.-Gl. f2.Andreas Teuchert Mathematik II 27. Mai 2013 10 / 38

AMS: Verschachtelte Brüche

I verschachtelte Brüche mit \frac werden mit zunehmenderTiefe kleiner

I \cfrac (continued fractions) erhöht die Lesbarkeit

\begin{equation}\frac{a}{b+\frac{c}{d+\frac{e}{f+\frac{g}{h}}}} =\cfrac{a}{b+\cfrac{c}{d+\cfrac{e}{f+\cfrac{g}{h}}}}\end{equation}

ab + c

d+ ef+ g

h

=a

b +c

d +e

f +gh

(7)


Brüche in Fließtext

I für Brüche in Fließtext bietet sich das nicefrac-Paket an(\usepackage{nicefrac})

I mit dem \nicefrac-Befehl werden Zähler und Nennerdurch einen Schrägstrich getrennt, wodurch der Bruchkleiner wird

$\nicefrac{1}{2}$ ist hübscher als $\frac{1}{2}$.

1/2 ist hübscher als 12 .


Einheiten richtig setzen

Vorgaben für Einheiten

I Einheiten werden anders als Variablen nicht kursiv gesetztI zwischen Zahl und Einheit gehört ein dünnes Leerzeichen

Mögliche Lösungen

I Möglichkeit 1: \, (Leerzeichen) und \mathrm{} (nichtkursiv) verwenden (schlechte Idee)

I Möglichkeit 2: SIunits-Paket verwenden


SIunits

I Einbinden mit \usepackage{SIunits}I beißt sich mit amssymb:

I Erst amssymb einbinden und dann SIunits mit\usepackage[amssymb]{SIunits}

I \square wird neu definiertI stellt intuitive Befehle für Einheiten und Prefixe bereitI auch außerhalb des Mathe-Modus verwendbar

\unit{1}{\pascal} = \unit{1}{\newton\per\square\metre}= \unit{1}{\kilogram\per(\metre\usk\square\second)}

1 Pa = 1 N/m2 = 1 kg/(m s2)


Geschweifte Klammern über und unter Termen

I geschweifte Klammern über Termen: \overbrace{Term}I geschweifte Klammern unter Termen: \underbrace{Term}I mit ^ und _ kann Text über bzw. unter die Klammer gesetzt

werdenI beliebige (auch unsinnige) Kombinationen möglich

\begin{equation}\overbrace{abc} \quad \underbrace{abc} \quad\overbrace{abc}^{=5} \quad \underbrace{abc}_{=5} \quad\overbrace{abc}_{=5} \quad \underbrace{abc}^{=5} \quad\overbrace{\underbrace{abc}_{=5}}^{=5}\end{equation}

︷︸︸︷abc abc︸︷︷︸

=5︷︸︸︷abc abc︸︷︷︸

=5

︷︸︸︷abc=5

=5abc︸︷︷︸

=5︷︸︸︷abc︸︷︷︸=5

(8)


AMS: Text in Gleichungen

I bei der Darstellung von Text in Gleichungen sind zweiProbleme zu lösen

I in Formeln werden Buchstaben von LATEX als Variableninterpretiert und kursiv dargestellt

I LATEX setzt keine Leerzeichen zwischen Buchstaben (auchwenn welche eingegeben wurden)

I AMS-LATEX stellt die Befehle \text{...} und\intertext{...} bereit, die diese Probleme lösen

I der so eingegebene Text wird normal dargestellt undLeerzeichen bleiben erhalten

I in \text{...} und \intertext{...} können Formelninline eingebunden werden


AMS: \text{...}

I \text{} ist für die Eingabe von Text innerhalb vonGleichungen gedacht

\begin{equation}\text{Wenn } a > 3 \text{ und } b > 2\text{, dann gilt für $a$ und $b$ auch } a > b\end{equation}

Wenn a > 3 und b > 2, dann gilt für a und b auch a > b. (9)

(quo errat demonstrator)


AMS: \intertext{...}

I mit \intertext{...} kann Text zwischen zweiGleichungen (in der align-Umgebung) eingegeben werden

\begin{align}a > b \wedge b > c\\\intertext{Daraus folgt:}a > c\end{align}

a > b ∧ b > c (10)

Daraus folgt:

a > c (11)


AMS: Text über und unter Symbole setzen

I mit \overset{über}{Symbol} wird „über“ über „Symbol“gesetzt

I mit \underset{unter}{Symbol} wird „unter“ unter„Symbol“ gesetzt

\begin{equation}\neg (a \wedge b)\overset{\text{De Morgan}}{\equiv}\neg a \vee \neg b\end{equation}

¬(a ∧ b)De Morgan≡ ¬a ∨ ¬b (12)


Integrale für Fortgeschrittene

I aus Teil I: Integrale mit \int_a^b f(x) dxI Verbesserungsmöglichkeiten:

I d sollte nicht kursiv gesetzt werden: \mathrm{d}I Abstand zwischen

∫und Formel verringern: \!

I kleiner Abstand zwischen Formel und d: \,I Grenzen unter und über

∫setzen: \limits

\begin{equation}\int_a^b f(x) dx \quad\int \limits_a^b \! f(x) \, \mathrm{d}x\end{equation}

∫ b

af (x)dx

b∫a

f (x)dx (13)


AMS: Mehrfach- und Ringintegrale

I Mehrfachintegrale: \iint, \iiint und \idotsintI Ringintegrale: \oint

\begin{equation*}\iint \limits_A \! f(x,y) \, \mathrm{d}x \,

\mathrm{d}y \quad\idotsint \limits_X \! f(x_1, \hdots, x_n) \,

\mathrm{d}x_1 \, \hdots \, \mathrm{d}x_n \quad\oint \! f(s) \, \mathrm{d}s\end{equation*}∫∫

A

f (x, y)dx dy∫· · ·

∫X

f (x1, . . . , xn)dx1 . . . dxn

∮f (s)ds


Operatoren

I LATEX kennt verschiedene Typen von OperatorenI binäre Operatoren: + (+), \vee (∨)I große Operatoren: \sum (∑), \prod (∏)I benannte Operatoren: \sin (sin), \lim (lim)

I bei manchen Operatoren werden Indizes/Exponentenunter/über den Operator gesetzt (große Operatoren,manche benannte Operatoren)

I im Inline-Modus $...$ werden große Operatoren kleinerdargestellt und Indizes/Exponenten hinter den Operatorgesetzt

I abweichende Darstellung kann erzwungen werden:\limits, \nolimits, {\displaystyle...},{\textstyle...} (Positionen der gescheiften Klammernbeachten!)


Operatoren – Beispiel I

Eine Summe im Inline-Modus: $\sum_a^b$.Indizes/Exponenten unter/über das Summenzeichen:$\sum\limits_a^b$.Display-Anzeige erzwingen:${\displaystyle\sum_a^b}$.

Eine Summe im Inline-Modus: ∑ba. Indizes/Exponenten

unter/über das Summenzeichen:b∑a

. Display-Anzeige

erzwingen:b

∑a

.


Operatoren – Beispiel II – Dualer Fall

\begin{equation}\sum_a^b \quad\sum\nolimits_a^b \quad{\textstyle\sum_a^b}\end{equation}

b

∑a

∑ba ∑b

a (14)


AMS: Eigene Operatoren definieren

I \DeclareMathOperator{\Befehl}{Text} definiert einenneuen Operator

I im Header (vor \begin{document})I aber: erst amsmath einbindenI gesternte Form (\DeclareMathOperator*{...}{...})

definiert einen Operator, bei dem Indizes/Operatorenunter/über den Operator gesetzt werden


AMS: Eigene Operatoren definieren – Beispiel

\usepackage{amsmath}...\DeclareMathOperator{\ITE}{ITE}\DeclareMathOperator*{\staring}{\bigstar}...\begin{document}...\begin{equation}\ITE_{a,b,c}(a, b, c) = a \wedge b \vee \neg a \wedge c\quad\staring_{i=1}^n x_i\end{equation}

ITEa,b,c(a, b, c) = a ∧ b ∨ ¬a ∧ cnFi=1

xi (15)


Funktionsgraphen mit TikZ

I aus Grafik: mit TikZ können Grafiken in LATEX„programmiert“ werden

I TikZ hat viele Anwendungen in der Mathematik(Venn-Diagramme, Geometrie, . . . )

I hier nur betrachtet: Funktionen plotten

Vorteile:

I nahtlose Integration in LATEX-Dokumente, keine externenDateien

I sehr gute Anpassungsmöglichkeiten (Farben, Gitter,Beschriftung)

I Plotten von externen Daten auch möglich


Funktionsgraphen mit TikZ – Beispiel

x

f (x)f (x) = x

f (x) = sin x

f (x) = 120ex

(Beispiel aus pgfmanual.pdf, Version 2.10, Abschnitt 19.5)


pgfmanual.pdf

Funktionsgraphen mit TikZ – Beispiel – Quellcode

\begin{tikzpicture}[domain=0:4]\draw[very thin,color=gray] (-0.1,-1.1) grid (3.9,3.9);\draw[->] (-0.2,0) -- (4.2,0) node[right] {$x$};\draw[->] (0,-1.2) -- (0,4.2) node[above] {$f(x)$};\draw[color=red] plot (\x,\x)

node[right] {$f(x) = x$};\draw[color=blue] plot (\x,{sin(\x r)})

node[right] {$f(x) = \sin x$};\draw[color=orange] plot (\x,{0.05*exp(\x)})

node[right] {$f(x) =\frac{1}{20} \mathrm e^x$};

\end{tikzpicture}

(Beispiel aus pgfmanual.pdf, Version 2.10, Abschnitt 19.5)


pgfmanual.pdf

Funktionsgraphen mit gnuplot

I gnuplot ist ein eigenständiges PlotprogrammI http://gnuplot.sourceforge.net/I LATEX-Integration durch das gnuplottex-PaketI TikZ kann zum Plotten auch auf gnuplot zurückgreifenI latex muss mit -shell-escape aufgerufen werden

(Sicherheismaßnahmen werden umgangen)

Vorteile

I kann auch 3D-PlotsI fortgeschrittene Funktionen wie FittingI Vorteile bei mathematisch anspruchsvollen Aufgaben

(LATEX ist kein Rechenprogramm)


http://gnuplot.sourceforge.net/

Funktionsgraphen mit gnuplot – Beispiel

\usepackage{gnuplottex}...\begin{gnuplot}[scale=0.6]plot sin(x)\end{gnuplot}

-1

-0.8

-0.6

-0.4

-0.2

0

0.2

0.4

0.6

0.8

1

-10 -5 0 5 10

sin(x)


Theorem-Umgebungen – zuerst ein Beispiel

Axiom 1 (Peano-Axiome).1. 0 ist eine natürliche Zahl2. zu jeder natürlichen Zahl n gibt es einen Nachfolger n′ = n + 1,

der eine natürliche Zahl ist3. zu jedem n′ gibt es maximal ein n4. N ist die kleinste Menge, die 0 und mit jedem n auch n′ enthält

Satz 1. Es gibt unendlich viele natürliche Zahlen.

Beweis. Folgt aus Axiom 1.

Beispiel 7.1. 1, 2, 3 und 3780312 sind natürliche Zahlen.


Theorem-Umgebungen

I Sätze, Beispiele, Beweise, Bemerkungen, etc. werden inLATEX allgemein als Theoreme bezeichnet

I viele Pakete mit vordefinierten Theoremumgebungenund/oder der Möglichkeit, selbst welche zu definierenexistieren

I Beispiele: theorem, amsthm, ntheoremI LATEX unterstützt auch von Haus aus TheoremeI grundsätzlich sind alle Pakete ähnlich:

I Theoremumgebungen werden bereitgestelltI Theoreme sind vom restlichen Text abgesetztI Nummerierung von Theoremen

I Unterschiede: Anpassbarkeit, vordefinierte Umgebungen,Endsymbole (bei Beweisen)


amsthm

I Einbinden mit \usepackage{amsthm}I bei gleichzeitiger Verwendung mit amsmath erst amsmath

ladenI Definition von Theorem-Umgebungen mit

\newtheorem{Name}[nName]{Markierung}[Nummerierung]I Name: Name der neuen Umgebung (z. B. lemma)I nName: Nummerierung wie nName (z. B. satz)I Markierung: Markierung der Umgebung im Dokument (z. B.

Lemma)I Nummerierung: Nummerierung nach welchem

übergeordneten Element (z. B. section)I nName und Nummerierung sind optional

I proof ist schon vordefiniert, am Ende wird ein 2 gesetztI funktioniert manchmal nicht – dann kann \qedhere

verwendet werdenAndreas Teuchert Mathematik II 27. Mai 2013 34 / 38

amsthm – Theorem-Stile

I Theorem-Stile legen das Aussehen der Umgebung festI vordefinierte Stile: plain (Standard, Kursivschrift),

definition, remark (Nicht-Kursivschrift)I Abweichungen je nach Dokumentklasse möglichI werden vor dem \newtheorem-Aufruf mit

\theoremstyle{...} ausgewähltI gelten für alle danach definierten Umgebungen


amsthm – Beispiel

\usepackage{amsmath} % ggf. zuerst laden!\usepackage{amsthm}

\theoremstyle{plain} % nicht nötig, da Standard\newtheorem{axiom}{Axiom}\newtheorem{theorem}{Satz}\newtheorem{lemma}[theorem]{Lemma}\theoremstyle{definition}\newtheorem{example}{Beispiel}[section]


amsthm – Beispiel – Erklärung

I es werden die Umgebungen axiom, lemma und exampledefiniert

I Lemmata und Sätze werden mit einem Zähler nummeriertI Beispiele werden nach Abschnitten nummeriert


amsthm – Verwendung

\begin{axiom}[Peano-Axiome]\label{axm:peano} ~\\\begin{enumerate}\item 0 ist eine natürliche Zahl...\end{enumerate}\end{axiom}\begin{theorem}Es gibt unendlich viele natürliche Zahlen.\end{theorem}\begin{proof}Folgt aus Axiom \ref{axm:peano}.\end{proof}\begin{example}1, 2, 3 und 3780312 sind natürliche Zahlen.\end{example}


andreas teuchert 27. mai 2013andreas teuchert mathematik ii 27. mai 2013 2 / 38 ams: split-umgebung...

Documents