The definition of multiplication

In summary, the conversation discusses the definition of multiplication and its applicability to different types of numbers. The repeated-addition definition only works for integers and there is a need for a rigorous definition that can be applied to all numbers. The conversation also touches on the concept of area as a definition for multiplication, as well as its applications in vector fields and electromagnetism. The idea of multiplication as an operation on a set is also explored.
  • #1
GarageDweller
104
0
Warning: Semantics battle may ensue, tread lightly
So I was wondering the other day, the repeated-addition definition of multiplication only works for integers, for example you cannot use this to calculate the square of e or pi.
So is there a rigorous definition for multiplication that is viable for all numbers?
 
Mathematics news on Phys.org
  • #2
GarageDweller said:
Warning: Semantics battle may ensue, tread lightly
So I was wondering the other day, the repeated-addition definition of multiplication only works for integers, for example you cannot use this to calculate the square of e or pi.
So is there a rigorous definition for multiplication that is viable for all numbers?

If you believe in multiplication of integers, it extends to the rationals and reals when you construct the rationals and reals out of integers.

The rationals are constructed as the field of quotients of the integers.

http://en.wikipedia.org/wiki/Field_of_fractions

(The article's a little general. In the Construction section, just think "integers" when they say "commutative pseudo-ring" and the construction's the same).

Then the reals are constructed as equivalence classes of Cauchy sequences of rationals, or alternately, Dedekind cuts of rationals.

http://en.wikipedia.org/wiki/Dedekind_cut

In each construction, from the integers to the rationals and from the rationals to the reals, addition and multiplication are defined based on what we already have. In other words multiplication of rationals is defined using multiplication of integers, and multiplication of reals is defined using multiplication of rationals.

I'm leaving out all the details, but this is the outline of the definition of multiplication of real numbers based on multiplication of integers.

We can go down the other way too. Where does multiplication of integers come from? It's ultimately defined in terms of the successor operation in the Peano axioms of the natural numbers.

http://en.wikipedia.org/wiki/Peano_axioms
 
  • #3
The definition of multiplication is area. (my never ending mantra)
 
  • #4
coolul007 said:
The definition of multiplication is area. (my never ending mantra)
Your definition is not very useful (or correct). If my walking speed is 3.5 miles/hr and I walk for 2 hours, I go a distance of 7 miles. That in no way should be considered an "area."
 
  • #5
Mark44 said:
Your definition is not very useful (or correct). If my walking speed is 3.5 miles/hr and I walk for 2 hours, I go a distance of 7 miles. That in no way should be considered an "area."

In the land of units, my definition is correct. As soon as you apply measurement of specific units you have changed the system from mathematics to miles/hour. there are no fluid ounces in that system either.
 
  • #6
coolul007 said:
The definition of multiplication is area. (my never ending mantra)

Please explain [itex]i^2=-1[/itex] or [itex](-1)^2=1[/itex] as area...
 
  • #7
coolul007 said:
In the land of units, my definition is correct. As soon as you apply measurement of specific units you have changed the system from mathematics to miles/hour. there are no fluid ounces in that system either.
"In the land of units" - did you mean in problems where there are no units, such as mi/hr, fl. oz., etc.? Or did you mean dimensionless units?

Your mantra did not specify that you were talking only about the product of two numbers. Certainly, any product of two real numbers could be interpreted as an area, but that's not the only interpretation.
 
  • #8
Mark44 said:
"In the land of units" - did you mean in problems where there are no units, such as mi/hr, fl. oz., etc.? Or did you mean dimensionless units?

Your mantra did not specify that you were talking only about the product of two numbers. Certainly, any product of two real numbers could be interpreted as an area, but that's not the only interpretation.

Of course it is not the only definition, however, as a fundamental definition, it is the one that is the most intuitive. as for i, you may spend the next few centuries explaining where that fits on the number line. I use are to explain multiplication when defining multiplication as "repetitive addition" fails. It fails if both numbers are not integers.
 
  • #9
coolul007 said:
Of course it is not the only definition, however, as a fundamental definition, it is the one that is the most intuitive.

That is an interpretation not a definition.

as for i, you may spend the next few centuries explaining where that fits on the number line.

Or you could spend 5 minutes explaining the Argand plane.

I use are to explain multiplication when defining multiplication as "repetitive addition" fails. It fails if both numbers are not integers.

And your explanation fails in other spaces.
 
  • #10
pwsnafu said:
That is an interpretation not a definition.



Or you could spend 5 minutes explaining the Argand plane.



And your explanation fails in other spaces.

OK, here's a definition, multiplication is an operation.
 
  • #11
btw, operations on i are defined, we do not know how to multiply i*i, we define its result. As far as multiplication goes my definition comes from the historical need to define ownership of land.
 
  • #12
coolul007 said:
btw, operations on i are defined, we do not know how to multiply i*i, we define its result. As far as multiplication goes my definition comes from the historical need to define ownership of land.
Your first statement is not true- we define i first, then show that i*i= -1. And, as has been pointed out before, "multiplication is area" is not even a "definition".
 
  • #13
Calculating areas is one of the applications of multiplication, similarly vector fields historically arose from the concept of fluid velocity fields, but the concept can be applied to electromagnetism
 
  • #14
So I was wondering the other day, the repeated-addition definition of multiplication only works for integers, for example you cannot use this to calculate the square of e or pi.
So is there a rigorous definition for multiplication that is viable for all numbers?

Why just numbers?

You talk of vectors in later posts. Do you wish to exclude vector multiplication?

coolul, if you are willing to learn you are not so far from the mark with this, although it needs tidying up with some conditions.

OK, here's a definition, multiplication is an operation.

Multiplication is a binary operation on a set.

Depending upon circumstance we may wish to restrict the output of this operation to other members of the set or we may wish to allow it to map to another set.

We can add further useful restrictions again depending upon circumstance eg

the requirement that ab = ba (or not)

etc.
 
  • #15
HallsofIvy said:
Your first statement is not true- we define i first, then show that i*i= -1. And, as has been pointed out before, "multiplication is area" is not even a "definition".

The reason defining i first does not solve the i*i result. Because if we take i = [itex]\sqrt{-1}[/itex]. it fails for i*i because we get 2 results depending on order of operations. Because of rules of exponents, [itex]\sqrt{-1}[/itex] * [itex]\sqrt{-1}[/itex] can result in [itex]\sqrt{(-1)(-1)}[/itex] or [itex]\sqrt{(-1)^2}[/itex], now if we square first the answer is +1, if we don't it's -1, that is why i*i must be defined, because complex operations must be restricted.
 
  • #16
coolul007 said:
Because of rules of exponents, [itex]\sqrt{-1}[/itex] * [itex]\sqrt{-1}[/itex] can result in [itex]\sqrt{(-1)(-1)}[/itex] or [itex]\sqrt{(-1)^2}[/itex], now if we square first the answer is +1

The rules of exponents do not hold for negative numbers.
 
  • #17
coolul007 said:
The reason defining i first does not solve the i*i result. Because if we take i = [itex]\sqrt{-1}[/itex]. it fails for i*i because we get 2 results depending on order of operations. Because of rules of exponents, [itex]\sqrt{-1}[/itex] * [itex]\sqrt{-1}[/itex] can result in [itex]\sqrt{(-1)(-1)}[/itex] or [itex]\sqrt{(-1)^2}[/itex], now if we square first the answer is +1, if we don't it's -1, that is why i*i must be defined, because complex operations must be restricted.

You can define i as the complex number with r=1 and arg =Pi/2 .

Then, multiplication z1z2 is given by the product of the

moduli and the sum of the arg. Yes, in some cases you have to mod out the sum

of arguments by 2π , but that is not a problem here. I don't see your point.
 
  • #18
Bacle2 said:
You can define i as the complex number with r=1 and arg =Pi/2 .

This is probably circular. The theorems showing that you can represent complex numbers this way usually involve i already. Even if you could eliminate this issue, you are going to be doing acrobatics to define the complex numbers and prove these theorems without mentioning i.
 
  • #19
coolul007 said:
The reason defining i first does not solve the i*i result. Because if we take i = [itex]\sqrt{-1}[/itex]. it fails for i*i because we get 2 results depending on order of operations. Because of rules of exponents, [itex]\sqrt{-1}[/itex] * [itex]\sqrt{-1}[/itex] can result in [itex]\sqrt{(-1)(-1)}[/itex] or [itex]\sqrt{(-1)^2}[/itex], now if we square first the answer is +1, if we don't it's -1, that is why i*i must be defined, because complex operations must be restricted.
But we don't. The standard definition of the complex numbers is as pairs of real numbers, (x, y) with addition defined by (a, b)+ (c, d)= (a+ c, b+ d) and multiplication by (a, b)*(c, d)= (ac- bd, ad+ bc). We can map the real numbers to that by the identification of x with (x, 0). We define "i" to be (0, 1) and then show that i*i=(0, 1)*(0, 1)=(0*0- 1*1, 0*1+ 1*0)= (-1, 0), the complex number identified with the real number -1.
 
  • #20
HallsofIvy said:
But we don't. The standard definition of the complex numbers is as pairs of real numbers, (x, y) with addition defined by (a, b)+ (c, d)= (a+ c, b+ d) and multiplication by (a, b)*(c, d)= (ac- bd, ad+ bc). We can map the real numbers to that by the identification of x with (x, 0). We define "i" to be (0, 1) and then show that i*i=(0, 1)*(0, 1)=(0*0- 1*1, 0*1+ 1*0)= (-1, 0), the complex number identified with the real number -1.

You said the magic word "define", that has been my assertion all along, calculations involving i require the result to be defined. We have rules that govern the results, but no operation takes place, like no operation takes place with 3x, until we know the value of x. 3x is defined as 3x. Last comment by me as all of you are much more knowledgeable about these matters. Do me one last favor, calculate the area of a triangle without multiplication.
 
  • #21
coolul007 said:
Do me one last favor, calculate the area of a triangle without multiplication.

What will that show?? If you want to say that multiplication is somehow useful in calculating areas, then you are right.
The thing is that you can't define multiplication as just "area". The problem is that you never really defined area. So the definition is quite shady.
 
  • #22
coolul007 said:
Do me one last favor, calculate the area of a triangle without multiplication.

We define the area of a rectangle to be it's base times height.
We do not define multiplication to be the area the rectangle with said base and height.
Do you understand the difference?
 
  • #23
A simple definition of multiplication is 'do to the left-hand-side what the right-hand-side does to unity'.

On the reals unity is 1, so for 2 * 3, what the right-hand-side does to unity is to physically stretch three-fold.

On the complex numbers unity is 1+0i. so for z * (2+2i) the right hand side stretches unity by sqrt(8) and rotates it by 45 degrees.

On matrices 'unity' means the identity matrix, and the right-hand-side represents a scale, rotation, stretch, sheer upon identity.
 
  • #24
TGlad said:
A simple definition of multiplication is 'do to the left-hand-side what the right-hand-side does to unity'.

On the reals unity is 1, so for 2 * 3, what the right-hand-side does to unity is to physically stretch three-fold.

On the complex numbers unity is 1+0i. so for z * (2+2i) the right hand side stretches unity by sqrt(8) and rotates it by 45 degrees.

On matrices 'unity' means the identity matrix, and the right-hand-side represents a scale, rotation, stretch, sheer upon identity.

That really only works if multiplication is already defined, since 3 only "stretches" unity by being multiplied with it.
 
  • #25
scaling is only multiply on 1d numbers and could be defined as repeated addition.
But for complex, multiply is scale and rotation. For matrices it is scale, rotate, stretch, shear, and for other groups it can involve even more combinations of actions.
 
  • #26
TGlad said:
scaling is only multiply on 1d numbers and could be defined as repeated addition.

Where's the "shakes head" smiley when you need it?

TGLad, did you read the first post of this very thread? You can't define ∏2 as repeated addition.
 
  • #27
For matrices it is scale, rotate, stretch, shear

Doesn't some of this only apply to square matrices?

I realize I need to extend my earlier definition slightly.

Muliplication is a binary operation on a set or two sets...

Since the operands may be drawn from different sets eg scalar multiplication of a vector.

This is always the way with maths we seek to extend include not deny and exclude - it is called generalisation.
 

What is the definition of multiplication?

The definition of multiplication is an arithmetic operation that combines two numbers, known as factors, to get a single number, known as the product. It is represented by the symbol "x" or "*".

What are the basic properties of multiplication?

The basic properties of multiplication are commutativity, associativity, distributivity, and identity. Commutativity means that the order of the factors does not affect the product. Associativity means that the grouping of the factors does not affect the product. Distributivity means that multiplication can be distributed over addition. Identity means that the product of any number and 1 is that number.

What is the difference between multiplication and addition?

Multiplication is a repeated addition of the same number, while addition combines two or more numbers to get a single number. In multiplication, the order of the factors does not affect the product, while in addition, the order of the numbers does matter. Additionally, multiplication has properties such as commutativity and associativity, while addition does not necessarily have these properties.

What is the purpose of using multiplication?

Multiplication is used to find the total value of a given number of groups or sets of a specific size. It is also used to find the product of two or more numbers and to scale or resize quantities. In addition, multiplication is used in various mathematical concepts, such as algebra, geometry, and calculus.

What are some real-life applications of multiplication?

Multiplication is used in many everyday situations, such as calculating the total cost of multiple items at a store, determining the amount of ingredients needed for a recipe, and finding the total distance traveled on a road trip. It is also used in more complex applications, such as calculating compound interest, determining the area and volume of shapes, and in computer programming for tasks such as array resizing and scaling images.

Similar threads

Replies
3
Views
97
Replies
1
Views
1K
  • General Math
Replies
23
Views
3K
Replies
3
Views
1K
  • General Math
Replies
16
Views
2K
  • General Math
Replies
2
Views
2K
  • General Math
Replies
31
Views
7K
  • Precalculus Mathematics Homework Help
Replies
5
Views
754
  • General Math
Replies
2
Views
1K
Back
Top