MathematikVaria

Test QuickLaTeX

Gelegentlich habe ich den Bedarf, in WordPress Formeln zu schreiben, dass soll ja bei Mathematikern so eine Berufskrankheit sein.

Dazu verwende ich natürlich LaTeX (what else) und  möchte hier gerade einen Testblog mit eingebettetem LaTeX Code zeigen. Es gibt mehrere LaTeX Plugins für WordPress; hier teste ich QuickLaTeX. In einem früheren Blog habe ich verschiedene Möglichkeiten vorgestellt, die Bilder im Blog waren aber nur als fertige Bilder manuell eingebettet worden. Jetzt wollen wird diese Bilder wirklich durch das Plugin erzeugen lassen: QuickLaTeX compiliert den LaTeX- Code beim Aufruf der Seite in eine Grafik (mit einem online Web Service) und cached sie auf der WordPress Seite.

Also ein paar echte Beispiele, wie sie ohne weitere Bearbeitung durch das Plugin gerendert werden. Gerade bei speziellen Schriften (hier: Mengensymbole mit Doppelstamm im dritten Beispiel) zeigen sich Darstellungsfehler – mit etwas Überarbeitung wird auch das wieder gut sein. Soll mir ja niemand mit Word kommen….


 

Euler-Poincaré-Charakteristik eines Kettenkomplexes

Unter einem endlichen Kettenkomplex C versteht man eine Folge von Homomorphismen

    \[0\stackrel{f_{n+1}}{\longrightarrow} V_n\stackrel{f_n} {\longrightarrow}\cdots\stackrel{f_2}{\longrightarrow} V_1\stackrel{f_1} {\longrightarrow} V_0\stackrel{f_0}{\longrightarrow} 0\]

mit der Eigenschaft f_i\circ f_{i+1} = 0, d.h. \image f_{i+1}\subset {\rm Kern}\: f_i. Der Quotientenvektorraum

    \[H_i(C)\:\defined\: {\rm Kern}\: f_i /\image f_{i+1}\]

heisst die i-te Homologie des Komplexes. Man beweise: Sind alle V_i endlichdimensonal, so gilt:

    \[\sum_{i=0}^{n}(-1)^i\dim V_i = \sum_{i=0}^{n}(-1)^i\dim H_i(C)\]

Bemerkung: diese Wechselsumme heisst Euler-Poincaré-Charakteristik des Komplexes C und wird mit \chi (C) bezeichnet.


Bilder mit tikz/pgfplots

Mit etwas Umstellungen im Code können auch Bilder mit tikz berechnet werden.

Rendered by QuickLaTeX.com


Symplectic mappings of Sobolev Class

Let \Omega\subset\RR^{2n}, n\ge 1, be a domain.
A mapping f\in W^{1,2n}_{loc}(\Omega,\RR^{2n}) is symplectic (with respect to the standard symplectic form \omega_0) if

(1)   \begin{equation*}Df(x)^TJDf(x)=J\qquad \textrm{for almost every x} \in\Omega.\end{equation*}

The symplectic mappings are special mappings of finite dilatation and thus are covered by the following main theorem.

Let f\in W^{1,n}_{loc}(\Omega,\RR^{n}) be a mapping of finite dilatation. Then

  • f has a continuous representative (also called f) satisfying

        \[|f(x)-f(y)| \le C(n)||Df||_{L^n}\left(\log\frac{2}{|x-y|}\right)^{-1/n}\quad x,y\in K\subset\Omega\textrm{ compact},\]

  • f is differentiable pointwise almost everywhere in the ordinary sense,
  • f satisfies Lusin’s conditions (N) and (N^{-1}), i.e. the image of a set with zero Lebesgue n-measure is a set of zero measure and also the preimage of a zero-set is a zero-set.

Ein Gedanke zu „Test QuickLaTeX

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert.