This blog is my first one, based on my thoughts, as mentioned at the end of the blog. I conceived this thought and the idea of blogging while travelling in a train, back from Kanpur to Bangalore.

A little kid, who does not know what ‘color’ is, comes across a bag of

*colorful*billiard balls. what would be his reaction? His childish curiosity drives him towards the bag. He is attracted by the appearance of the balls…I mean, the*colors*, though he doesn’t know what it is….Most children stop there. But, imagine, an extraordinary( hypothetical, if you feel so) child, who can proceed further. The next thing he would do is, look for

*similar*balls (balls which look*like*each other) The child has a way to tell whether two balls look*like*each other or not, by visual inspection. (looking*like*each other in our language means same*color*).Next, the child can divide the bag of balls in to groups of

*like*balls. Every pair of balls within a group would look*alike*. Hence, each group can be represented by a single ball. If the child is given new balls, he can easily put them in to respective groups. Or, if it doesn’t look*like*any of the group representatives, it makes a new group.Now, he is close to defining

*color.*The representatives of each group are not balls, they are*colors.*He can name each group at his will. This is precisely what man did, over generations. The names he gave were*red blue green et al.*Now, a formal look at the procedure adopted by the child. An important comment to be made at this point is about the way the child decides if two balls are

*alike.*If balls 1 and 2 are*alike*, and balls 2 and 3 are*alike,*inevitably, balls 1 and 3 will fall in the same group. Hence, they should look*alike.*Formally speaking, his definition of*alike*should be*trasitive.*By using ‘*two balls look alike’,*and not ‘*one looks like the other’,*I have already meant that the*like*is*symmetric.*A little more thought will convince you that the*like*needs to be*reflexive*as well, for successful classification. Thus, it gives a reason to the mathematical definition of*equivalence relation.*Formally, those*groups*arising out of the equivalence relation are called*classes.*Once the classes are made, a mathematician may do various things with his classes….order them etc.This is how most of the seemingly undefinable terms like

*color, size, mass, charge, cardinality, etc*are*defined(?).*The purpose of this blog is to express my thought flow, which at the moment says,

*mathematics is a way of thinking, formalized.*
Advertisements