Visualizing Complex Functions(vankessel.io) |
Visualizing Complex Functions(vankessel.io) |
This old but very good lecture series really helped me - I can at least accept that complex numbers are not some ficticious hack now - but I confess I still dont have an intuitive grasp of complex numbers.
For more visual explanations of complex numbers I recommend Tristan Needham's "Visual Complex Analysis" : http://pipad.org/tmp/Needham.visual-complex-analysis.pdf
Students these days are very lucky.
However, later I spoke with some of my classmates and it turned out that this left absolutely zero impression on them and they still believed that "we define i to be sqrt(-1)" high school rubbish...
More accurately: a complex number is not a point in the plane (in the same way as a real number is not a point in a straight line)
Given a line and an arbitrary selection of a 0-point and positive direction, you can map between real numbers and points on the line, and you can do a similar thing with complex numbers and points on a plane (which requires separate selection of positive directions for the real and complex axes.)
But real numbers aren't points on a line, and complex numbers aren't points on a plane.
The correct view is that the real numbers, also known as scalars, are quotients of 1-dimensional vectors, while the complex numbers are quotients of 2-dimensional vectors.
This means that given two 1-dimensional vectors, the second being non-null, there is always a real number by which you can multiply the second vector to obtain the first vector.
The same for two 2-dimensional vectors and a complex number. In this case the magnitude of the complex number changes the magnitude of the vector, while the phase rotates the vector.
When you understand this fact about complex numbers, than it becomes obvious that the imaginary unit is not imaginary but just a rotation with a right angle and it is trivial that its square, i.e. a rotation with 180 degrees is equivalent with a multiplication by -1.
The point are a third, different kind of mathematical entities, distinct from both real & complex numbers and from vectors.
In fact points (i.e. members of 1-dimensional, 2-dimensional and so on affine spaces) are the primitive objects.
From points you can define the vectors as differences of points (i,e, translations). Then from vectors you can define real numbers, complex numbers, quaternions and higher-dimensional matrices as quotients of vectors.
(Such definitions define e.g. a 2-dimensional vector as a class of equivalence of pairs of points in plane that are transformed into each other by a translation, and a complex number as a class of equivalence of pairs of 2-dimensional vectors which are transformed into each other by a proportional change in magnitude and a rotation with a fixed angle.)
Obviously, my explanation here is very simplified, but it is useful to be aware that e.g. a point in plane, a 2-dimensional vector and a complex number are 3 very different kinds of mathematical objects, even if all 3 are determined by a pair of real numbers.
They are very different because the set of operations that can be applied to each is different. For example only the complex numbers are members of a field. You can add 2-dimensional vectors (i.e. compose 2 translations), but you cannot add 2 points from a plane.
And this video from a few years ago "Obama deformed by holomorphic complex functions (conformal map)" https://www.youtube.com/watch?v=CMMrEDIFPZY
I want just to clarify more the last 2 sentences for those less familiar with mathematical jargon. The reference the the field of the complex numbers means that you can multiply 2 complex numbers, i.e. compose 2 geometric transformations consisting of scaling + rotation. You cannot multiply neither two 2-dimensional vectors nor two points.
In conclusion, in a programming language one should have different data types for points, vectors and complex numbers, because each type allows different operations and attempting to pass them as arguments to an inappropriate function should be an error.
In most mathematical handbooks it is now traditional to define first the real numbers deriving them from integer numbers, via rational numbers, without any geometric interpretations, then to define the straight line and the mapping between the real numbers and the straight line. Then usually the vectors are derived from tuples of real numbers.
I believe that this methodology is very wrong because it occults the real meaning and usefulness of vectors, real numbers, complex numbers and of many other important mathematical entities. This sequence of the derivations of the main mathematical objects leads to many confusions and mistakes and it also does not correspond with the historical development of mathematics, where the real numbers, that is the "measures", as they were initially called, were indeed obtained since the earliest times as quotients of differences between points, i.e. as quotients of vectors (e.g. the quotient between a measured length and a standard length, e.g. a foot), and not as some limits of rational sequences.
It is perfectly possible and much clearer in my opinion, to start from axioms of the affine spaces (i.e. the spaces of points) and to derive the real numbers (and everything else in geometry) from that.
The result that the real numbers correspond to limits of rational sequences is very important in practice, but it is not the motivation for the introduction of real numbers. Why would you believe a priori that the limits of rational number sequences are of any interest for you?
The points are interesting, because they model your environment. Then the vectors and then the real numbers, complex numbers, matrices etc. become interesting to be able to model the geometric transformations of the points.
yes, you do. I was answering the question of what complex numbers are. There are many things that you can do with them, that you need to define separately.
Two-dimensional vectors can just as well be thought of as points in the plane. What sets complex numbers apart is eg that we define complex multiplication of them.
A more general example: a group is not just some set G, but that set with a binary operation satisfying certain axioms.
alright. Yet, one 2d point is certainly enough to define one complex number, which is what I meant.
The data is the same, but they have different methods.
I have a hunch that for math people complex numbers are tied really close to the operations you perform with them. But to me, the lay man, the numbers are just data.
From reading around on HN I infer that there are certain things that are grouped together because they share certain actions. Groups, sets, monads.
However, if you were to encounter the number (1, 5) in the wild, you wouldnt know if it was a complex number or just a 2 dimensional vector until it is operated upon.
You won't explain anything by talking about 2D points only
But you can if you specify only how they behave with addition and multiplication (see my others posts)
The OP was complaining about the explanation that complex numbers "have a real and an imaginary part", because it mean nothing to them. It is alright, then, to clarify that this just means that they are points in the plane, and some operations will be defined on these points.