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.

This picture represents the 26-nodes diagram

26-nodes-diagram.tikz

A visual representation of the Calebi-Yau manifold

caleb-yau.png

This picture represents a complex lattice with two linearly independent periods

complex-lattice.tikz

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

complex-surreal-venn.tikz

This picture represents the action of the action of the generators of the Coxerter group of the complete graph of four vertices corresponding to the nodes in a maximal free 3-gon

coxerter-group-reflections.tikz

cube.tikz

This picture represents a domond-like thingy

diamond.tikz

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

dihedral-representation-is-irreducible.tikz

This picture represents the action of the dihedral group in the real plain

dihedral-representation.tikz

This picture represents the group structure of the points of an elliptic

elliptic-curve-group-structure.tikz

This picture represents the cartesian plain

euclidian-plane.tikz

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

finite-topological-plot.tikz

This picture represents the lattice antisomorphism between the lattice of the subgroups of the Galois group of a Galois extension and the lattice of intermediary subfields of such extension.

galois-lattice-antisomorphism.tikz

This picture represents the fact that geodesics locally minimize distances

geodesic.tikz

Original artwork by Alexander Grothendieck: the commutative diagram from the Grothendieck-Riemann-Roch theorem, surrounded by fire and two devils carrying forks. Generated with svg2tikz <https://github.com/xyz2tex/svg2tikz> from https://en.wikipedia.org/wiki/File:Grothendieck-Riemann-Roch.jpg

grothendieck-riemann-roch.tikz

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

groups-periodic-table.eps

This picture represents the Poincaré disc model of the hyperbolic plane

hyperbolic-plane-disc.tikz

Relief representation of the j-invariant elliptic modular function

k4.tikz

monster-group-character-table.eps

This picture represents the natural number line

natural-number-line.tikz

This picture represents the ordinal number line

ordinal-number-line.tikz

Shows p-adic closed balls of radii p^(-1) (same hue) and p^(-2) (same colour) for p = 3

p-adics.eps

$This diagram represents the universal property of a projective limit \varphojlim X_i, i.e. the fact the a projective limit is the limit of the functor between I^op and the category of obejcts of the projective system given my the projective system itself (for each index i it yields X_i and for each inequality i <= j it yeilds \varphi_{i, j}$