ex is definitely my favourite function. Why ?
Friday, March 27, 2009
ex is definitely my favourite function. Why ?
Thursday, March 19, 2009
I think there are three breakthroughs in mathematics that have really shook the foundations of the field, the first is the discovery of irrational numbers (formerly accredited to Hippaus, a member of Pythagoras's school around 500 BC but Indian mathematicans are now thought to have been earlier), the second, relates to the work of Cantor in the 19th Century in showing that infinity comes in different sizes, and, thirdly, Godel's incompleteness theorem in the first part of the 20th century, which demonstrated that attempts to form systems of axioms that are entirely logically consistent are doomed. These amazing feats of insight, intellectual rigour and imagination, initially triggered rejection and a strong counter reaction from their peers. In the case of Hippaus, legend has it, that this discovery cost him his life, as Pythagoras's followers incensed with his proof that the square root of 2 is irrational threw him into the sea ! After time, these ideas were accepted, incoporated into the mathematical mainstream and built on by thinkers who followed in the wake of these tidal waves.
Lets address the first intellectual tsunami; the discovery of irrational numbers. Why was this so important ? This discovery was important because it challenged a central notion of the type of mathematics that Pythagoras and his followers were seeking to establish. Pythagoras viewed mathematics as sacred and capable of explaining the deepest ideas and describing the natural world around them. For the school of Pythagoras, shapes and numbers were elegant expressions of profound ideas. In this intellectual climate, they assumed that numbers could always be expressed in terms of simple ratios of integers (e.g. 1/7), which they understood in geometric terms - a feature of Greek mathematics that makes it hard for modern reader to appreciate their arguments directly.
What did Happaus show ? We don't have access to the original proof but we can assume that his proof followed this type of argument:
SQRT (2) = a/b where a and b are integers.
It also follows:
We know that 2 times any number will result in an even number and that square root of any even number results in an even number, therefore, "a" must be an even number. If "a" is an even number than we can express it as 2r, where r is another integer, and we can re-arrange the equation above to:
2b2 = 4r2, which can be simplified to b2 = 2r2.
Using exactly the same argument as the one above, we can say that "b" must also be even. Now, we have a contradiction, because any ratio of two even integers can be reduced to a ratio involving an even and a odd number (e.g. 2/8 = 1/4). Therefore, it is not possible for the square root of 2 to be expressed as a ratio of two integers. In fact, this intriguing qauntity can not be directly calculated but only approximated.
In our proof that repeating numbers are rational, we used the following relationship:
S = Sum of the geometric series arn-1
= a + ar1 + ar2 + ar3 + ar4......
Where does this rather elegant and surprising relationship come from ? Certainly, this simple realtionship is rather unexpected .... why would an infinite series converge on this simple ratio ?
Like many relationships in mathematics, the proof is beautifully simple. Firstly, form the equation S - Sr = a + ar1 + ar2 + ar3 ..... - ar1 + ar2 + ar3 .... = a
Therefore, rearranging we arrive at S = a/(1-r).
Monday, March 16, 2009
The question of the nature of repeating numbers comes up when we convert fractions into binary, as even apparently simple fractions in decimal becomes an infinitely long string in binary, for example:
No, we haven't ! This new representation of the number is still rational. The proof is as follows:
A rational number is defined as a number that can expressed as the quotient of two integers (e.g. 0.1 = 1/10).
We can express an repeating number as a geometric series:
where a = 0.997 and r = (1/1000)
It is well know that the sum of geometric series of this type = a/(1 -r), which will result in a ratio of integers (in this example 997/999).
Sunday, March 15, 2009
Computer by in large use a "floating point" system which converts a number into a string multiplied by a given base to a power; mathematically,
Using this system, 110.5 in decimal becomes 1.0105 x 102. If the base is predicided and we express the real number part (called the "mantissa") as less than 1 than we can represent the number as a string of digits with the last number being the integer. Thus, 110.5 becomes 11053 in this system. Of course, computers operate in binary but the logic of the nomenclature is the same. This type of "floating point" system (and many variations) facilitate the very fast calculations performed by modern computers. Fixed point systems, which operate on a predetermined setting of the decimal or binary point are far less common. This floating point system does present problems with rounding errors and representation of irrational numbers (which have to be approximated as real numbers in this system) but still is a powerful method of storing and handling large sets of numbers.
Thursday, March 12, 2009
Binary is counting in two. Instead of 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 and 10, we simple count 0, 1, 10, 11, 100, 101, 110, 111, 1000, 1001 and 1010. This reduction of counting to the use of two symbols is both imagative and very powerful because it greatly faciltates the mechanisation of countng. For example imagine we have four egg cups sitting in a row on a bench. We can represent any number from 0 to 15 simple by deciding that an upside down egg cup represents "1"; so if the first two egg cups are upside down and the two remain right side, this translates to "1100" in binary and "12" in base 10.
Other mathematical operations are also simple in binary, for example, adding in binary is quite elegant, for example think of 5 + 7 perfomed in binary :
101+ 111 = 1100
This whole procedure can be reduced to a simple recipe. To get the idea, line up two rows of four egg cups (assuming your family like boiled eggs alot or you have a big family!!) and see whether you can devise a set of rules for add two numbers together. Try to do the same with eight egg cups and adding decimal numbers together .... now you can start to appreciate the power of binary.
The binary number system combined with Boolean logic (another great feat of mathematical imagination) is central to the workings of the modern computer. Counting, number manipulation and storage, can be performed with amazing speed and accuracy based on very similiar procedures to your egg cup algorithm.
Tuesday, March 10, 2009
Why do we count in groups of tens ? Is counting in tens the best way to count ?
Thus, in part, we count in tens because of an accident of evolution (or the will of a god according to some). It is fun to imagine a world where we have eight fingers and thumbs and not ten. My dream of an eight finger universe can found in an earlier blog (2/1/09) entry for though inclined to entertain wild thoughts or interested in counting systems.
Note: Some societies count in fives (one handed) and others don't consider numbers past two ...... one, two and many. I'm not aware of any societies that count in 20s, which is a logical extension of counting with all available digits, but imagine how difficult remembering your times tables would be in such a society !
Sunday, March 8, 2009
Archimedes is accredited with saying "Give me a place to stand and I will move the earth". This statement reflects his profound understanding of the lever principle which lead to the invention of block and tackle pulley system, which apart from saving many backs since it's inception, represents a significant milestone in the development of machines. Levers and pulleys illustrate the mechanical advantage gained by applying a force over a distance. In vectorial form, we write the relationship as:
M = F x r = "moment" vector or "torque" provided by applying a force over a distance.
where k is the angle between F and r, F and r are the magnitudes of the two vectors, and n is the unit vector perpendicular to the plane containing F and r.
Thus, the cross product functions allows important mechanical calculations to be performed and for vectors perpendicular to a particular plane to be easily calculated.
Tuesday, March 3, 2009
Dot products or "scaler products" are the first significant manipulation we learn to use for vectors after the famous "head to tail" rule. Unlike the "head to tail" rule of vector addition and subtraction, dot products appear initially to be somewhat obscure, however, they have both a signficant geometrical and physical meaning.
Geometrically, the definition of a dot product allows the angle between to two vectors to determined quite rapidly using:
a.b = ab cos x = xaxb + yayb + zazb
a = xai + yaj + zak and b = xbi + ybj + zbk
cos x = (a.b)/(ab)
where the bold italic symbols refer to vectors, x is the angle between the two vectors and non-bold symbols refer to the magnitudes of the vector. This is a very straight forward calculation for two vectors that are defined and is much simpler than the comparable cartesian algebraic approach.
The procedure also has a physical meaning, for example, the work done (W) by a Force (F) displacing an object along a vector (r) can be calculated using:
W = F.r
In this case the dot product has a precise a physical meaning .... sounds like a good idea, simple and useful !!
In developing a vectorial algebra, we introduce the idea of unit vectors i, j and k. This initially can seem quite odd and counter intuitive - why do we need to impose "directions" onto three dimensional space ? What is wrong with x, y and z (Cartesian co-ordinates) ?
Sunday, March 1, 2009
The first topic in the Swinburne Engineering Mathematics subject for first year is Vectors. For some of the students, this will be a new topic depending on your background in high school mathematics and physics.
A vector is quantity that has both size and direction. What does that really mean ? If I ask you how fast your car is going (assuming that you are silly enough to give your old Prof. a lift) and you answer a 100 km/hr, mathematically you have given me an answer that is described as a Speed which is a Scalar quantity (a quantity that has size but no direction). If you answer 100km/hr towards the city along the Monash freeway, you have given both direction and quantity and thus a Velocity (which is a vector).
This Monash freeway brings up some other issues about vectors because as we drive along the freeway, your instantaneous speed is likely to change as you accelerate and de-accelerate. Likewise your instantaneous direction will also change as you drive along the freeway, as the Monash doesn't follow the same compass bearing into the city, for example, it turns quite northerly near Burwood Highway but starts turning westward again as its approaches the Burnley tunnel.
In this very simple example, we can see that the velocity of the car is a function of time and position and the intuitively wise among you can see a very important topic rearing it's head, that is, CALCULUS OF VECTOR FUNCTIONS i.e the mathematics of change for functions that have both magnitude and direction. Because we are nice guys at Swinburne, we don't throw you into that topic straight away, we firstly make sure that you are very comfortable with the mathematics of vectors and the details of calculus before combining the two together. Something to look forward to !
Are vectors important to engineers ?
Absolutely, vectorial quantities are critical to engineering, they help us understand the complex stress-strain relationships in bridges, the movement of fluids in pipes and channels, the flow of air around an aircraft's wing, the interplay of electrical/magnetic fields in circuits, and numerous other examples. It is difficult to imagine engineering without vectorial analysis .... without this wonderful mathematical tool, we would be left with trying to analyse complex situations with simple addition/subtraction equations and cumbersome manipulations on X-Y co-ordinates. We would be trapped in an endless Year 10 world !! Sounds like hell to me !
How do we get good at vectors ?
The first step, in my opinion, is to be comfortable with simple physical examples before moving into the details of the algebra. This is why the problems 1 to 3 on page 12 of the student notes are important. You need to be a master of these type of problems ("A boat heads off in 20 km/hr in a NE direction with a wind blowing 50 km/hr due south ....) before moving onto the questions that are more algebraic in nature. When addressing these questions, I suggest:
a) working through the examples on page 1 to 5,
b) sketching the problem and trying visualise what the answer would look like,
c) applying the head to tail rule, being careful to distinguish between problems where (i) the resultant vector is not known (therefore, you add the two vectors head to tail) and (ii) where the resultant vector is known (there, you will need to subtract vectors to work out the vector that is missing), and
d) looking at your answer and asking yourself "Does that make sense ?".
As always, a sense of humour, determination and willingness to be challenged will help.