TikZ Gallery

This is a gallery with most of the mathematical drawings I've ever used on lectures of mine. Most of the files in here are .tikz files containing TikZ code I wrote, but some other files are included too. For further information on how to use the pictures in this gallery and what the licensing terms are please check out the Using This Gallery page.

The 26-nodes diagram

by Pablo

26-nodes-diagram.tikz

A visual representation of the Calebi-Yau manifold

by Lunch

A complex lattice with two linearly independent periods

by Pablo

complex-lattice.tikz

This picture represents the relationship between the real, complex and surreal numbers

by Pablo

complex-surreal-venn.tikz

A cube

by Pablo

A domond-like shape

by Pablo

An ilustration of the proof that the natural real representation of the Dihidral group is irreducible

by Pablo

dihedral-representation-is-irreducible.tikz

The action of the dihedral group in the real plain

by Pablo

dihedral-representation.tikz

The group structure of the points of an elliptic curve

by Pablo

elliptic-curve-group-structure.tikz

The Cartesian plain

by Pablo

euclidian-plane.tikz

A plot of the number of topological spaces of n points in logarithmic scale

by Pablo

finite-topological-plot.tikz

The lattice anti-isomorphism between the lattice of the subgroups of the Galois group of a Galois extension and the lattice of intermediary subfields of such extension.

by Pablo

galois-lattice-antisomorphism.tikz

This picture represents the fact that geodesics locally minimize distances

by Pablo

The commutative diagram from the Grothendieck-Riemann-Roch theorem, surrounded by fire and two devils carrying forks

by Alexander Grothendieck

grothendieck-riemann-roch.tikz

A diagram of the classification of finite simple groups in the format of a periodic table

groups-periodic-table.eps

The Poincaré disc model of the hyperbolic plane

by Pablo

hyperbolic-plane-disc.tikz

Relief representation of the j-invariant elliptic modular function

by Eugene Jahnke & Fritz Emde

The j-invariant Klein function in the complex plane

by Jan Homann

The complete graph of four vertices

by Pablo

The Mobius strip

by Pablo

The first columns of the chacter table of the monster simple group in characteristic zero

by Pablo

monster-group-character-table.eps

The natural number line

by Pablo

natural-number-line.tikz

The ordinal number line

by Pablo

ordinal-number-line.tikz

This drawing represents the correspondence between conjugation by pure unitary quaternions and rotations in the 3-dimensional Euclidean space: the coordinates of a unitary quaternion p number with zero real coefficient induce a line through the origin in the 3-dimensional Euclidean space, and conjugation by cos t + p sin t acts as rotation by 2 t around this axis.

by Pablo

quaternion-rotation.tikz

The real number line

by Pablo

real-number-line.tikz

This picture represents the relationship between the real, ordinal and surreal numbers

by Pablo

real-ordinal-surreal-venn.tikz

This picture is a comparison between the Euclidean distance and the Riemannian distance in a 3-dimensional sphere

by Pablo

riemannian-metric.tikz

This picture represents the fact that reflections are rigid motions

by Pablo

rigid-motion-reflections.tikz

This picture represents the fact that rotations are rigid motions

by Pablo

rigid-motion-rotation.tikz

This picture represents the definition of a smooth map between manifolds

by Pablo

smooth-function.tikz

This picture represents the definition of a smooth manifold

by Pablo

smooth-manifold.tikz

The isomorphism between the n-dimensional sphere and the quotient of the (n + 1)-dimensional simple orthogonal group by the n-dimensional simple orthogonal group

by Pablo

sphere-quotient.tikz

A 2-dimensional sphere

by Pablo

All the Sporadic groups in their subquotient relationship

by Drschawrz

sporadic-groups.eps

The projection from the square to the circle: we map a point in the square of length √2/2 onto the unit circle by normalizing it

by Pablo

square-to-circle-projection.tikz

This diagram represents the relationship between standard number sets

by Pablo

standard-sets-venn.tikz

The stereographic projection

by Pablo

stereographic-projection.tikz

Visualization of the surreal number tree

by Lukáš Lánský

surreal-number-tree.eps

The tangent space of a smooth manifold at a point

by Gustavo Mezzovilla

tangent-space.tikz

A mug continuously morphing into a donut

by Pablo

topology-mug-donut.tikz

The universal covering of the unit circle

by Pablo

unit-circle-covering.tikz

The unit complex circle

by Pablo

unit-circle.tikz

A graphical depiction of the central projection between the upper semi-sphere and the Euclidean plane: we map each point in the upper half of the sphere to the projection of this point in the tangent plane at the north pole by drawing a line between this point and the center of the sphere and then taking the intersection of this line with the plane.

by Pablo

upper-central-projection.tikz