Undergrad Formal definition of multiplication for real and complex numbers

Click For Summary
SUMMARY

The formal definition of multiplication for real and complex numbers extends beyond the concept of repeated addition applicable to integers. For real numbers, multiplication is defined through the completion of rational numbers, where each real number is represented as the limit of a sequence of rational numbers. The multiplication of complex numbers is directly derived from the multiplication of real numbers. This discussion emphasizes the foundational role of the Peano Axioms in developing these mathematical concepts.

PREREQUISITES
  • Understanding of the Peano Axioms
  • Familiarity with rational numbers and their operations
  • Knowledge of limits and sequences in mathematics
  • Basic concepts of real and complex numbers
NEXT STEPS
  • Study the Peano Axioms and their implications in number theory
  • Explore the concept of limits and sequences in real analysis
  • Learn about the properties of rational numbers and their operations
  • Investigate the multiplication of complex numbers and its relation to real numbers
USEFUL FOR

Mathematicians, educators, students in advanced mathematics, and anyone interested in the formal foundations of multiplication in real and complex number systems.

logicgate
Messages
13
Reaction score
2
TL;DR
What is the formal definition of multiplication for real and complex numbers ?
I know that the definition of multiplication for integers is just repeated addition. For example, 5 times 3 means 5 + 5 + 5, but what about if we want to extend this definition to real or complex numbers ? Like for example, what does pi times e mean ? How are we supposed to add pi to itself e times ? So it is very clear that the definition of repeated addition for multiplication doesn't work for all real numbers. So how is multiplication defined for real and complex numbers ?
 
  • Like
Likes symbolipoint
Mathematics news on Phys.org
logicgate said:
TL;DR Summary: What is the formal definition of multiplication for real and complex numbers ?

I know that the definition of multiplication for integers is just repeated addition. For example, 5 times 3 means 5 + 5 + 5, but what about if we want to extend this definition to real or complex numbers ? Like for example, what does pi times e mean ? How are we supposed to add pi to itself e times ? So it is very clear that the definition of repeated addition for multiplication doesn't work for all real numbers. So how is multiplication defined for real and complex numbers ?
This is part of the wider question of how the real numbers are developed in the first place. The starting point is the Peano Axioms:

https://en.wikipedia.org/wiki/Peano_axioms

From this, the properties of addition and multiplication of natural numbers can be formally developed from first principles.

Next comes the development of the rational numbers, from the naural numbers. With addition and multiplication defined as:
$$\frac a b + \frac c d = \frac{ad + bc}{bd}, \ \text{and}\ \frac a b \cdot \frac c d = \frac{ac}{bd}$$Finally, the real numbers can be developed essentially as a completion of the rationals. Each real number can be defined as the limit of some sequence of rationals, And addition and multiplication of real numbers can then be defined using addition and multiplication for these rational sequences.

It probably takes a semester or more to go through all this formally.

PS addition and multiplication of complex numbers is defined directly using addition and multiplication of real numbers. This is actually the only easy bit!
 
You can also view it this way:

##3\times 2=6##
##3.1\times 2.7=8.37##
##3.14\times 2.71=8.5094##
##3.141\times 2.718=8.527238##
##3.1415\times 2.7182=8.5392253##
etc.

The limit of this sequence is ##\pi\times e = 8.539734222673567\dots##

We can also do the same from above, getting successively smaller intervals which contain the value:

##4\times 3=12##
##3.2\times 2.8=8.96##
##3.15\times 2.72=8.568##
##3.142\times 2.719=8.543098##
##3.1416\times 2.7183=8.53981128##
etc.
 

Similar threads

Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
6K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 30 ·
2
Replies
30
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K