# In the praise of norm

Standard

If you have spent some time with undergraduate mathematics, you would have probably heard the word “norm”. This term is encountered in various branches of mathematics, like (as per Wikipedia):

But, it seems to occur only in abstract algebra. Although the definition of this term is always algebraic, it has a topological interpretation when we are working with vector spaces.  It secretly connects a vector space to a topological space where we can study differentiation (metric space), by satisfying the conditions of a metric.  This point of view along with an inner product structure, is explored when we study functional analysis.

Some facts to remember:

1. Every vector space has a norm. [Proof]
2. Every vector space has an inner product (assuming “Axiom of Choice”). [Proof]
3. An inner product naturally induces an associated norm, thus an inner product space is also a normed vector space.  [Proof]
4. All norms are equivalent in finite dimensional vector spaces. [Proof]
5. Every normed vector space is a metric space (and NOT vice versa). [Proof]
6. In general, a vector space is NOT same a metric space. [Proof]

# Dimension clarification

Standard

In several of my previous posts I have mentioned the word “dimension”. Recently I realized that dimension can be of two types, as pointed out by Bernhard Riemann in his famous lecture in 1854. Let me quote Donal O’Shea from pp. 99 of his book “The Poincaré Conjecture” :

Continuous spaces can have any dimension, and can even be infinite dimensional. One needs to distinguish between the notion of a space and a space with a geometry. The same space can have different geometries. A geometry is an additional structure on a space. Nowadays, we say that one must distinguish between topology and geometry.

[Here by the term “space(s)” the author means “topological space”]

In mathematics, the word “dimension” can have different meanings. But, broadly speaking, there are only three different ways of defining/thinking about “dimension”:

• Dimension of Vector Space: It’s the number of elements in basis of the vector space. This is the sense in which the term dimension is used in geometry (while doing calculus) and algebra. For example:
• A circle is a two dimensional object since we need a two dimensional vector space (aka coordinates) to write it. In general, this is how we define dimension for Euclidean space (which is an affine space, i.e. what is left of a vector space after you’ve forgotten which point is the origin).
• Dimension of a differentiable manifold is the dimension of its tangent vector space at any point.
• Dimension of a variety (an algebraic object) is the dimension of tangent vector space at any regular point. Krull dimension is remotely motivated by the idea of dimension of vector spaces.
• Dimension of Topological Space: It’s the smallest integer that is somehow related to open sets in the given topological space. In contrast to a basis of a vector space, a basis of topological space need not be maximal; indeed, the only maximal base is the topology itself. Moreover, dimension is this case can be defined using  “Lebesgue covering dimension” or in some nice cases using “Inductive dimension“.  This is the sense in which the term dimension is used in topology. For example:
• A circle is one dimensional object and a disc is two dimensional by topological definition of dimension.
• Two spaces are said to have same dimension if and only if there exists a continuous bijective map between them. Due to this, a curve and a plane have different dimension even though curves can fill space.  Space-filling curves are special cases of fractal constructions. No differentiable space-filling curve can exist. Roughly speaking, differentiability puts a bound on how fast the curve can turn.
• Fractal Dimension:  It’s a notion designed to study the complex sets/structures like fractals that allows notions of objects with dimensions other than integers. It’s definition lies in between of that of dimension of vector spaces and topological spaces. It can be defined in various similar ways. Most common way is to define it as “dimension of Hausdorff measure on a metric space” (measure theory enable us to integrate a function without worrying about  its smoothness and the defining property of fractals is that they are NOT smooth). This sense of dimension is used in very specific cases. For example:
• A curve with fractal dimension very near to 1, say 1.10, behaves quite like an ordinary line, but a curve with fractal dimension 1.9 winds convolutedly through space very nearly like a surface.
• The fractal dimension of the Koch curve is $\frac{\ln 4}{\ln 3} \sim 1.26186$, but its topological dimension is 1 (just like the space-filling curves). The Koch curve is continuous everywhere but differentiable nowhere.
• The fractal dimension of space-filling curves is 2, but their topological dimension is 1. [source]
• A surface with fractal dimension of 2.1 fills space very much like an ordinary surface, but one with a fractal dimension of 2.9 folds and flows to fill space rather nearly like a volume.

This simple observation has very interesting consequences. For example,  consider the following statement from. pp. 167  of the book “The Poincaré Conjecture” by Donal O’Shea:

… there are infinitely many incompatible ways of doing calculus in four-space. This contrasts with every other dimension…

This leads to a natural question:

Why is it difficult to develop calculus for any $\mathbb{R}^n$ in general?

Actually, if we consider $\mathbb{R}^n$ as a vector space then developing calculus is not a big deal (as done in multivariable calculus).  But, if we consider $\mathbb{R}^n$ as a topological space then it becomes a challenging task due to the lack of required algebraic structure on the space. So, Donal O’Shea is actually pointing to the fact that doing calculus on differentiable manifolds in $\mathbb{R}^4$ is difficult. And this is because we are considering $\mathbb{R}^4$ as 4-dimensional topological space.

Now, I will end this post by pointing to the way in which definition of dimension should be seen in my older posts:

• Dimension ≡ Dimension of the underlying vector space
• Dimension ≡ Lebesgue covering dimension of the underlying topological space
• Special Numbers: update (note that here I am talking about “topological manifolds” of which “differentiable manifolds” are a special case)

# Borsuk-Ulam Theorem

Standard

Yesterday, I was fortunate enough to attend a lecture delivered by Dr. Ritwik Mukherjee, one of my professors, to motivate the study of algebraic topology. Instead of using the “soft targets” like Möbius strip etc. he used the following profound theorem for motivation:

If $f: S^n \to \mathbb{R}^n$ is continuous then there exists an $x\in S^n$ such that:  $f(-x)=f(x)$.

This is known as Borsuk-Ulam Theorem. To appreciate this theorem, one need to know a fundamental theorem about continuous functions known as Intermediate Value Theorem:

If a continuous function, $f$, with an interval, $[a, b]$, as its domain, takes values $f(a)$ and $f(b)$ at each end of the interval, then it also takes any value between $f(a)$ and $f(b)$ at some point within the interval.

Here is a video by James Grime illustrating Borsuk-Ulam Theorem in 3D:

Though the implications of the theorem itself are beautiful, following corollary known as Ham sandwich theorem is even more interesting. Here is a video by Marc Chamberland explaining this theorem:

Also, yesterday Grant Sanderson uploaded a video exploring the relation of Borsuk-Ulam Theorem with a fair division problem known as Necklace splitting problem:

But, to my amazement, this theorem is related to one of the other most astonishing theorem of algebraic topology called Brouwer fixed-point theorem:

Every continuous function from a closed ball of a Euclidean space into itself has a fixed point.

Here is a video by Michael Stevens illustrating Brouwer fixed-point theorem in some interesting cases:

Now the applications of this theorem are numerous, and there is a book dedicated to this theorem: “Fixed Points” by Yu. A. Shashkin. But my favourite application of this fixed point theorem is to the board game called Hex, explained by Marc Chamberland here:

If you come across some other video/article discussing the coolness of “Borsuk-Ulam Theorem” please let me know.

# Geometry of Virus

Standard

This semester I am taking a course about protein structures. Here is a quick intro to proteins:

Though I have taken some other biology courses in past years, I found this course very much relatable to mathematics. Proteins are made up of “amino acids”. Though, chemistry allows large number of possible structures for amino acids (considering steric hindrance etc.), nature uses only 20 unique amino acids to make billions of different proteins. In my opinion, these 20 amino acids are “axioms” of protein building just like the 5 axioms of euclidean geometry.

Using just 20 amino acids we can get a large variety of protein structures, just like creating any kind of shape in euclidean space using just 5 axioms. Even more fascinating is the existence of “Quasisymmetry in Icosahedral Viruses”. An awesome article explaining this is available here. Note that, the term “triangulation number” stated in that article was not borrowed from mathematics. It’s a term used to study symmetries in icosahedral viruses and refers to “the square of the distance between 2 adjacent 5-fold vertices.”

200 Icosahedral Viruses from the PDB (source: http://pdb101.rcsb.org/learn/resource/200-icosahedral-viruses-poster)

Moreover, the structures which don’t conform to classic quasisymmetry are similar to Escher print and Penrose tiling, as visible in following picture:

If you are interested in doing a fun activity, you may refer to: http://pdb101.rcsb.org/learn/resource/quasisymmetry-in-icosahedral-viruses-activity-page

# What is Topology?

Standard

A couple of years ago, I was introduced to topology via proof of Euler’s Polyhedron formula given in the book “What is Mathematics?” by Richard Courant and Herbert Robbins. Then I got attracted towards topology by reading the book “Euler’s gem – the polyhedron formula and the birth of topology” by David S. Richeson. But now after doing a semester course on “introduction to topology” I have realized that all this was a lie. These books were not presenting the real picture of subject, they were presenting just the motivational pictures. For example, this is my favourite video about introduction to topology by Tadashi Tokieda (though it doesn’t give the true picture):

Few months ago I read the book “The Poincaré Conjecture” by Donal O’Shea and it gave an honest picture of algebraic topology. But, then I realized that half of my textbook on topology is about point-set topology (while other half was about algebraic topology). This part of topology has no torus or Möbius strip (checkout this photo) but rather dry set theoretic arguments. So I decided to dig deeper into what really Topology is all about? Is is just a fancy graph theory (in 1736, both Topology and graph theory started from Euler’s Polyhedron formula) or it’s a new form of Geometry which we study using set theory, algebra and analysis.

The subject of topology itself consists of several different branches, such as:

• Point-Set topology
• Algebraic topology
• Differential topology
• Geometric topology

Point-set topology grew out of analysis, following Cauchy’s contribution to the foundations of analysis and in particular trigonometric representation of a function (Fourier series). In 1872, Georg Cantor desired a more solid foundation for standard operations (addition, etc.) performed on the real numbers. To this end, he defined a Cauchy sequence of rational numbers. He creates a bijection between the number line and the possible limits of sequence of rational numbers. He took the converse, that “the geometry of the straight line is complete,” as an axiom (note that thinking of points on the real line as limits of sequence of rational numbers is “for clarity” and not essential to what he is doing). Then Cantor proved following theorem:

If there is an equation of form $\displaystyle{0=C_0+C_1+\ldots +C_n+\ldots}$ where $C_0 = \frac{d_0}{2}$ and $C_n = c_n\sin{(nx)} +d_n\cos{(nx)}$ for all values of $x$ except those which correspond to points in the interval $(0,2\pi)$ give a point set P of the $\nu$th kind, where $\nu$ signifies any large number, then $d_0=1, c_n=d_n=0$

This theorem lead to definition of point set to be a finite or infinite set of points. This in turn lead to definition of cluster point, derived set, …. and whole of introductory course in topology. Modern mathematics tends to view the term “point-set” as synonymous with “open set.” Here I would like to quote James Munkres (from point-set topology part of my textbook):

A problem of fundamental importance in topology is to find conditions on a topological space that will guarantee that it is metrizable…. Although the metrization problem is an important problem in topology, the study of metric spaces as such does not properly belong to topology as much as it does to analysis.

Now, what is generally publicised to be “the topology” is actually the algebraic topology. This aspect of topology is indeed beautiful. It lead to concepts like fundamental groups which are inseparable from modern topology. In 1895, Henri Poincaré topologized Euler’s proof of Polyhedron formula leading to what we call today Euler’s Characteristic. This marked the beginning of what we today call algebraic topology.

For long time, differential geometry and algebraic topology remained the centre of attraction for geometers.But, in 1956, John Milnor discovered that there were distinct different differentiable structures (even I don’t know what it actually means!) on seven sphere. His arguments brought together topology and analysis in an unexpected way, and doing so initiated the field of differential topology.

Geometric topology has borrowed enormously from the rest of algebraic topology it has returned very scant interest on this “borrowed” capital. It is however full of problems with some of the simplest, in formulation, as yet unsolved. Knot Theory (or in general low-dimensional topology) is one of the most active area of research of this branch of topology. Here I would like to quote R.J. Daverman and R.B. Sher:

Geometric Topology focuses on matters arising in special spaces such as manifolds, simplicial complexes, and absolute neighbourhood retracts. Fundamental issues driving the subject involve the search for topological characterizations of the more important objects and for topological classification within key classes.
Some key contributions to this branch of topology came from Stephen Smale (1960s), William Thurston (1970s), Michael Freedman (1982), Simon Donaldson (1983), Lowell Edwin Jones (1993), F. Thomas Farrel (1993), … and the story continues.

References:

[1] Nicholas Scoville (Ursinus College), “Georg Cantor at the Dawn of Point-Set Topology,” Convergence (May 2012), doi:10.4169/loci003861

[2] André Weil, “Riemann, Betti and the Birth of Topology.” Archive for History of Exact Sciences 20, no. 2 (1979): 91–96. doi:10.1007/bf00327626.

[3] Johnson, Dale M. “The Problem of the Invariance of Dimension in the Growth of Modern Topology, Part I.” Archive for History of Exact Sciences 20, no. 2 (1979): 97–188. doi:10.1007/bf00327627.

[4] Johnson, Dale M. “The Problem of the Invariance of Dimension in the Growth of Modern Topology, Part II.” Archive for History of Exact Sciences 25, no. 2–3 (December 1981): 85–266. doi:10.1007/bf02116242.

[5] Lefschetz, Solomon. “The Early Development of Algebraic Topology.” Boletim Da Sociedade Brasileira de Matemática 1, no. 1 (January 1970): 1–48. doi:10.1007/bf02628194.

# Celebrity Mathematicians

Standard

In my opinion, currency notes are one of the biggest motivation to learn arithmetical operations (like addition, multiplication,…). In fact, most of our elementary school problems are about buying a particular quantity of something.

Historically, there had been currencies notes featuring great mathematicians like Carl Friedrich Gauss, Leonard Euler and Rene Descartes. But, today there are no currencies featuring mathematicians. The database of currency notes featuring mathematicians is available here: http://web.olivet.edu/~hathaway/math_money.html

Since honouring people by featuring them on currency notes is politically challenging, government rather issues special postage stamps. The database of stamps featuring mathematicians is available here:  http://jeff560.tripod.com/stamps.html

Apart from illustrating various mathematical concepts (like graphs, metric system, binomial theorem… ) on stamps, India Post has issued stamps to honour mathematicians like Damodar Dharmananda Kosambi , Srinivasa Ramanujan Iyengar and Bertrand Russell.

# Clocks

Standard

Clocks are amazing. They tell us time. In this post I want to talk about working of analog clocks. In case you haven’t seen an analog clock, this is how it looks like:

A wall clock, it’s working part in the back and inside of the working part.

But, what clocks have to do with mathematics? As I have mentioned several times, one major part of mathematics is about counting and clocks “count”! Clocks are amazing counting device, they perform mod 12 and mod 60 calculations (that’s why modular arithmetic is also called clock arithmetic).

Unfortunately, the ideal cases exist only in our abstract world of mathematics. In real world, whatever we build has some error percentage and our motive to minimize this error. A mathematical construction, called Stern-Brocot tree, was created to help build timepieces and understand number theory.

By Aaron Rotenberg (Own work) [GFDL or CC-BY-SA-3.0], via Wikimedia Commons

This “tree” gives an exceptionally elegant way to enumerate the positive rational numbers and is a surprisingly useful tool for constructing clocks.  For more information about this construction read this feature column article by David Austin.

Just like continued fractions, this tree gives us good rational approximations of a given real number. Clocks typically have a source of energy–such as a spring, a suspended weight, or a battery–that using gears turns a shaft at a fixed rate. We can increase the precision by using more number of gears of different teeth count in appropriate combination.

I will end this post with an example from Austin’s article:

Suppose we place a pinion on a shaft that rotates once every hour and ask to drive a wheel that rotates once in a mean tropical year, which is 365 days, 5 hours, 49 minutes. Converting both periods to minutes, we see that we need the ratio 720 / 525,949. The problem here is that the denominator 525,949 is prime so we cannot factor it. To obtain this ratio exactly, we cannot use gears with a smaller number of teeth. It is likewise impossible to find a multi-stage gear train to obtain this ratio. But, as we slide down the “tree” toward 720 / 525,949, the rationals we meet along the way will give good approximations with relatively small numerators and denominators. As we descend the Stern-Brocot tree towards 720 / 525,949, we find the fraction 196 / 143,175, which may be factored into four rational factors, 2/3, 2/25, 7/23 and 7/83. We can therefore construct a four-stage gear train and can get a pretty accurate clock.

I hope I have been able to convince you that clocks are much more interesting than they would appear and you should read the article by David Austin for further references.