What Does the Dot Mean in a Function Like f(x,·,·)?

Click For Summary
SUMMARY

The notation f(x,·,·) represents a function of three variables where the dependence on the first variable, x, is emphasized. This notation allows for the substitution of arbitrary values for the other arguments without affecting the interpretation of the function. It is particularly useful in mathematical logic for proving general theorems about functions with multiple arguments, regardless of their specific types or behaviors. The dot notation serves to indicate that the specific values of the other arguments are not of concern in the context of the discussion.

PREREQUISITES
  • Understanding of multivariable functions
  • Familiarity with mathematical notation and logic
  • Basic knowledge of real numbers and algebra
  • Concept of function mapping in mathematics
NEXT STEPS
  • Research the use of dot notation in mathematical functions
  • Explore the implications of multivariable calculus
  • Study general theorems in mathematical logic
  • Learn about function mapping and its applications in algebra
USEFUL FOR

Mathematicians, students of advanced mathematics, and anyone interested in understanding the formal notation and implications of multivariable functions.

Mathematics news on Phys.org
In the example you give f(x,.,.), the dependence on x is of interest, keeping in mind that f is a function of 3 variables.
 
mathman said:
In the example you give f(x,.,.), the dependence on x is of interest, keeping in mind that f is a function of 3 variables.

So you could substitute arbitrary values for the other arguments with no effect?

Would this be proper (albeit useless) example of usage?
Let function f map R x R to R be defined as f(x,·) = x + 4.

I've always been used to seeing,
Let y be in R. Let function f map R x R to R be defined as f(x,y) = x + 4.
 
The real value of the notation is when you don't care at all what sort of object the "dot" represents.

In elementary algebra, you use variables like "x" to mean "any object of some type" - for example "any real number".

If you want to prove a general theorem in mathematical logic about "all possible functions with 3 arguments, regardless of what the functions actually do or what types of arguments they have", then you need notations to represent ideas like "a general example of such a function", or "any possible values of the first argument of such a function".

That is one use for notations like f(.,.,.) and the "x" part of f(x,.,.).
 

Similar threads

Replies
16
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
2
Views
3K