What are Mathematical Operations?

In summary: Addition is associative so... associativity0 is an integer and... identityThe additive inverse of any integer is also an integer so... inverseNote that the set of positive integers is not a group under addition because it fails the "inverse" test.Note also that the "operation" can be implied by the context. eg ## a + b ## is the same as ## +(a,b) ##, and ## ab ## is the same as ## \times(a,b) ##In summary, an operation is a mathematical process that takes one or more input values and produces an output value. It can be thought of as a function, but not all operations are functions. In abstract algebra, an operation is a function that
  • #1
Drakkith
Mentor
22,859
7,209
What exactly is a mathematical operation? Wiki states that an operation in math is "a calculation from zero or more input values (called "operands") to an output value."

That sounds oddly like a function, but I'm assuming that not all operations are functions? What is the relationship between functions and operations? I notice that, according to the article again, operations share several properties with functions, such as having domains. It looks like a function is just a special type of operation?

Thanks all.
 
Mathematics news on Phys.org
  • #2
The difficulty is that "operation" is so general. An 'operation' way of changing one mathematical object into another. It might be a "function" in the strict sense or it might not- "function" is a subset of "operation".
 
  • #3
It's the converse. An operation is a special type of function. For example, the addition operation on ##\mathbb{R}## is a function
[tex]+:\mathbb{R}\times \mathbb{R}\rightarrow \mathbb{R}[/tex]
which takes a pair of real numbers ##(x,y)## and sends it to a real number ##+(x,y)## (usually denoted as ##x+y##).

Something not really being an operation on ##\mathbb{R}## is division. This would be a function
[tex]/:\mathbb{R}\times \mathbb{R}\rightarrow \mathbb{R}[/tex]
but this is not defined in ##(1,0)## for example. So it's not a function and thus not an operation.
It is an operation on ##\mathbb{R}\setminus\{0\}## however.
 
  • #4
I always thought that operations were functions on a subset of a product space. But I guess it is a question of definition.

But then I don't see the difference between a function and a unary operation ...
 
  • #5
Seems like there's some contradiction here between Micromass and HallsofIvy. Any thoughts?
 
  • #6
In my world, a function is something that takes one ore more parameters and return one value. An operation is more general.

Examples:
  • Rotating a vector is an operation (it could be expressed as a vector function, but then you would have to define that rigorously).
  • Finding the inverse image of a function is an operation, but usually not a function
 
  • Like
Likes Drakkith
  • #7
Svein said:
In my world, a function is something that takes one ore more parameters and return one value. An operation is more general.

Examples:
  • Rotating a vector is an operation (it could be expressed as a vector function, but then you would have to define that rigorously).
  • Finding the inverse image of a function is an operation, but usually not a function

All of these can be described as functions though.

Drakkith, as you can see, there is a lot of disagreement on the word "operation". In my post, I took the word "operation" as in abstract algebra. Evidently, not everybody takes this view. So you can probably expect different books to have different kinds of definitions for operation. So I think it might be better not to think much on the word operation, since it is not really standardized.
 
  • Like
Likes FactChecker
  • #8
I see. I didn't realize it wasn't a standardized term.
 
  • #9
If you want a general idea then it is best served by looking at an algebra - which starts from groups and gets more general.

If you want a specific idea then it is a function of the structure being used.

Although operators don't have to have the sorts of constraints that the field of algebra imposes it is a good idea to do so.

Note that algebra's usually assume that every object has the same representation which makes things a lot easier and you also get consistency and sensible results when these constraints are followed (like in groups and higher level structures).

As an example - you can't divide by zero with real numbers but you can use any rotation matrix in that algebra (for that dimension) and everything has an inverse which in terms of consistency means that any combination of those structures given the operator in the group can always be "un-done".
 
  • Like
Likes Drakkith
  • #10
Whew, this seems like it's going to be a little above my head. I don't even know what a 'group' in algebra is.
 
  • #11
Informally, a group G is an algebraic structure that has an associative operation, an identity element, and an inverse for every member of the group.
More formally, (G,o) such that:
1: The operation o is associative.
2: There exists an identity element e belonging to G for o.
3: Every x belonging to G has an inverse x^-1 in G.
4. If o is commutative, then G is an Abelian group. Addition, subtraction, multiplication, are examples of operations.

Sorry, I don't know how to do this with all the correct symbols.
 
  • #12
Drakkith said:
Whew, this seems like it's going to be a little above my head. I don't even know what a 'group' in algebra is.
Don't worry about it, I think the key point is that the term 'operation' does have a specific meaning in abstract algebra but there is no useful general meaning. In what context have you come across the term?
 
  • #13
AgentSmith said:
Informally, a group G is an algebraic structure that has an associative operation, an identity element, and an inverse for every member of the group.
More formally, (G,o) such that:
1: The operation o is associative.
2: There exists an identity element e belonging to G for o.
3: Every x belonging to G has an inverse x^-1 in G.
4. If o is commutative, then G is an Abelian group. Addition, subtraction, multiplication, are examples of operations.

Sorry, I don't know how to do this with all the correct symbols.
You missed arguably the most important property - closure. And your no. 4 is not part of the definition of a group.

Drakkith I find that examples are the best way of introducing algebraic concepts:
  1. Closure - integers under division are not a group because they are not closed: ## \frac12 ## is not an integer
  2. Associativity - integers under subtraction are not a group because subtraction is not associative: ## (1 - 1) - 1 \ne 1 - (1 - 1) ##
  3. Identity - positive integers under addition are not a group because the identity element for addition (0) is not a positive integer
  4. Inverse - integers under multiplication are not a group because the multiplicative inverse of z is ## frac 1x ## which is not in general an integer
However integers under addition are a group because:
  1. The sum of any two integers is also an integer so they are closed
  2. Addition is associative: (x + y) + z always equals x + (y + z)
  3. The identity element for addition, 0, is in the integers: x + 0 = x
  4. Every integer k has an additive inverse -k in the integers: (x + k) + (-k) = x
 
  • Like
Likes Drakkith
  • #14
MrAnchovy said:
In what context have you come across the term?

I haven't really. I tutor Calculus and below at my college so I use the term when tutoring. I just got curious one day about what an operation is.

MrAnchovy said:
However integers under addition are a group...

Doesn't this conflict with number 3 in your first list:

MrAnchovy said:
3. Identity - positive integers under addition are not a group because the identity element for addition (0) is not a positive integer
 
  • #15
Drakkith said:
I haven't really. I tutor Calculus and below at my college so I use the term when tutoring. I just got curious one day about what an operation is.
Doesn't this conflict with number 3 in your first list:

Notice the word positive in the second quote.
 
  • Like
Likes pbuk
  • #16
Basically you add constraints in algebra that may not have been there if you looked at things that are two general.

One problem that most people understand by high school (possibly even primary school) is that you can't divide by zero and that you can't make normal arithmetic consistent if you allow it. If you do this under a normal one dimensional number system (or even the complex numbers) then everything breaks down completely.

But if you have the sort of thing that a group has then things retain that consistency and you also get a situation where regardless of what operator (a binary one for a group) exists, you can always do algebra with it and the structures within the group.

It's kind of a baseline so that you don't have to worry about inconsistencies and problems and you have to add constraints to do that.

Also note that mathematicians try and take really abstract things and find properties or attributes that tell us something fundamental about that class of representations.

One of the most important attributes of a common structure (a square matrix) is its determinant. This tells us not only the hyper-volume but also whether it has an inverse.

With group theory, the same incentive and aim exists but it exists for algebra in an even more abstract sense.

Just be aware that one of the most important aspects in all of mathematics - regardless of field or specialization is consistency. If something is found not to be consistent then that is a big problem and I would say that algebra did in some way facilitate solving the problem that zero created in the one dimensional and complex numbers when division and its inverse multiplication were involved.
 
  • #17
micromass said:
Notice the word positive in the second quote.

I did notice it. Does that somehow change things?
 
  • #18
Drakkith said:
I did notice it. Does that somehow change things?
The set of integers contains zero, the set of positive integers does not. Zero is the only candidate for the identity under addition, hence the latter cannot form a group.
 
  • #19
pwsnafu said:
The set of integers contains zero, the set of positive integers does not. Zero is the only candidate for the identity under addition, hence the latter cannot form a group.

Oh I see. If Identity is a property of a group, then the positive integers by themselves are not a group since 0 is not a positive integer.
 
  • #20
Drakkith said:
Oh I see. If Identity is a property of a group, then the positive integers by themselves are not a group since 0 is not a positive integer.
But there are other obstacles to the positive integers becoming a group (under addition) . If you choose the nonnegative integers, you will not have the (additive) inverses needed to make a group. There is an interesting idea , I think, associated with this: the group generated by EDIT a subset S of the group, as Micromass pointed out, which is the smallest (cardinality-wise) group that contains the set S. In this case, the group generated by the nonnegative integers is the set of all integers under addition.
 
Last edited:
  • #21
WWGD said:
But there are other obstacles to the positive integers becoming a group (under addition) . If you choose the nonnegative integers, you will not have the (additive) inverses needed to make a group. There is an interesting idea , I think, associated with this: the group generated by a set S, which is the smallest (cardinality-wise) group that contains the set S. In this case, the group generated by the nonnegative integers is the set of all integers under addition.

But in this case, your "set" ##S## is a semigroup. So what you described isn't correct. It should be "the group generated by a semigroup ##S## which is the smallest group containing ##S##" Anyway, for this, see: https://en.wikipedia.org/wiki/Grothendieck_group
 
  • #22
micromass said:
But in this case, your "set" ##S## is a semigroup. So what you described isn't correct. It should be "the group generated by a semigroup ##S## which is the smallest group containing ##S##" Anyway, for this, see: https://en.wikipedia.org/wiki/Grothendieck_group

But can't you also see it as a set, despite it being a semigroup?
 
  • #23
WWGD said:
But can't you also see it as a set, despite it being a semigroup?

Sure, but then ##\mathbb{N}## must be seen as a set. And I can easily define an operation on ##\mathbb{N}## that makes it into a group. It just won't have anything to do with the usual structure on ##\mathbb{N}##.
 
  • #24
micromass said:
Sure, but then ##\mathbb{N}## must be seen as a set. And I can easily define an operation on ##\mathbb{N}## that makes it into a group. It just won't have anything to do with the usual structure on ##\mathbb{N}##.
Yes, of course, the group generated by the positive integers _as a subset of the set of all integers_ , which I should have said. Otherwise, you are right and you can define all sorts of operations on them to turn them into a group. I edited my original post to reflect this point.
 

What are Mathematical Operations?

Mathematical operations refer to the basic calculations and manipulations of numbers and symbols to solve equations and problems. These operations include addition, subtraction, multiplication, division, and exponentiation.

What is the order of operations?

The order of operations is the set of rules that dictate the sequence in which mathematical operations should be performed in an equation. The order is as follows: parentheses, exponents, multiplication and division (from left to right), and addition and subtraction (from left to right).

What are the properties of mathematical operations?

The properties of mathematical operations are commutative, associative, distributive, and identity. Commutative property states that the order of numbers in an operation does not affect the result. Associative property states that the grouping of numbers in an operation does not affect the result. Distributive property states that multiplying a number by a sum or difference is the same as multiplying each addend or subtrahend by the number. Identity property states that the result of adding 0 to any number is that number itself.

What is the difference between a mathematical expression and an equation?

A mathematical expression is a combination of numbers, symbols, and mathematical operations without an equal sign. An equation, on the other hand, is a mathematical statement that shows the equality between two expressions using an equal sign. Equations are used to solve for unknown values, while expressions are used to represent a quantity.

What are the uses of mathematical operations in real life?

Mathematical operations have numerous uses in real life, such as calculating distances, measuring quantities, and solving financial problems. They are also essential in fields such as engineering, science, and economics, where precise calculations are necessary for accurate results.

Similar threads

Replies
14
Views
975
  • General Math
2
Replies
61
Views
9K
Replies
4
Views
806
Replies
17
Views
2K
  • Programming and Computer Science
Replies
2
Views
1K
  • General Math
Replies
17
Views
2K
Replies
7
Views
1K
Replies
2
Views
2K
Replies
10
Views
608
Replies
1
Views
895
Back
Top