# F(x) as function or value of the function?

• Mr Davis 97
In summary, the use of notations such as ##f(x)## is a way to define functions without writing out the entire definition. Different books and disciplines may have different conventions for this notation. While some may consider the function to be "f" and its value at a particular input to be "f(x)", others may use "f(x)" as a shorthand for the function itself. There are also other notations, such as ##xf##, that have been used in the past. Ultimately, the choice of notation may depend on the context and the preference of the author.
Mr Davis 97
I have a question regarding notational conventions. From previous research, I have determined that, for the general function ƒ(x), x is the input, ƒ is the relation or "law of correspondence," and ƒ(x) is the output, the result of applying the rule ƒ to the variable x. However, almost ubiquitously in other texts and websites, they refer to the entire function as ƒ(x), e.g., "let's examine the function ƒ(x) = x2 + 1." My question, then, is what is right? Why do some authors say that ƒ is the function, while others say that ƒ(x) is the function? This distinction might seem rather pedantic, but I am nonetheless still bothered by it.

"Let's examine the function ##f(x) = x^2 + 1##" is a slightly sloppy (but much shorter) way of saying "let's examine the function ##f:\mathbb{R} \to \mathbb{R}## defined by ##f(x) = x^2 + 1##". The shorter statement doesn't generally cause any ambiguity as long as the domain and codomain are understood. It would be tedious if we always insisted on pedantic language such as "the function ##f:\mathbb{R} \to\mathbb{R}## defined by ##f(x) = e^x##" instead of simply "the function ##e^x##".

Of course, there may be cases where we need to distinguish between the function ##f## and its value ##f(x)## at some particular ##x##, and we should write more carefully in those cases.

##f(x)## is a notation that to implies "function ##f## is dependent of or written in terms of the variable ##x##." The notation makes it somewhat easier to see how the variable plays into determining each value of the function.

I'm going to use an example. It will involve physics because I like physics.

Let's look at the equation of the position of a massive particle moving at a constant acceleration. $$\vec r_f = \vec r_i + \vec v_i \Delta t + \frac{1}{2} \vec a \Delta t^2$$
Since the initial position, the initial velocity, the initial time measurement, and the constant acceleration are "fixed" variables, unlike the variable ##t##, then it can be rewritten as $$\vec r (t) = \vec r_i + \vec v_i (t-t_i) + \frac{1}{2} \vec a (t-t_i)^2$$
This shows that the particle's position ##\vec r## is dependent on time ##t##.

Authors have the ability to switch the two notations you've listed above because they can. It implies the same thing.

A function is a triple ##(A,B,\Gamma)## such that
1. A is a set called the domain,
2. B is a set called the co-domain,
3. ##\Gamma \subset A \times B## is a set called the graph,
4. for all ##x \in A## there exists ##(x, y) \in \Gamma## ("every function is defined on its domain"),
5. if ##(x_1, y) \in \Gamma## and ##(x_2, y) \in \Gamma## then ##x_1 = x_2## ("the vertical line test").
Notations such as ##f(x)## are attempts at defining functions without writing the whole thing down. They are just shortcuts. Different books will have different conventions.

Now as to the question concerning ##f## vs ##f(x)##. When I was much younger I came across an abstract algebra textbook focusing on ring theory dating back to the early 1930s. It used the ##xf## notation: that is ##x## is a point in the domain and ##f## is the map (homomorphism). The clear advantage is composition. ##xfg## is apply f then g. Today we have to write ##g\circ f##. This is great for algebra, horrible for applied analysis. What is ##2f##? Twice the functions? Or the function evaluated at 2? To top it off, as matrices became more standard, we have abandoned ##xf## notation for ##f(x)##, but the split between "f" and "x" stayed in pure mathematics circles. So as a consequence pure mathematicians consider the function to be "f" and the valued to be "f(x)".

But I can't find any old applied mathematics papers that doesn't use "f(x)" is the function. For an applied mathematician what a function does at each point is of prime importance. It's my belief that applied mathematics has used "f(x)" before pure mathematics has used "f" as the function.

Mr Davis 97
jbunniii said:
"Let's examine the function ##f(x) = x^2 + 1##" is a slightly sloppy (but much shorter) way of saying "let's examine the function ##f:\mathbb{R} \to \mathbb{R}## defined by ##f(x) = x^2 + 1##". The shorter statement doesn't generally cause any ambiguity as long as the domain and codomain are understood. It would be tedious if we always insisted on pedantic language such as "the function ##f:\mathbb{R} \to\mathbb{R}## defined by ##f(x) = e^x##" instead of simply "the function ##e^x##".

Of course, there may be cases where we need to distinguish between the function ##f## and its value ##f(x)## at some particular ##x##, and we should write more carefully in those cases.

That makes sense. I've seen it written in some definitions for a function, that the domain and range must be declared in order to completely specify a function. But there still is another distinction which I am (pedantically) concerned about. Is there a way to specify what a function ##f(~)## does without having to place a dummy variable, ##x##, in its argument? Is it even possible to talk about what the majority of functions do to inputs without having to apply the function to some free variable, like ##x##?

pwsnafu said:
A function is a triple ##(A,B,\Gamma)## such that
1. A is a set called the domain,
2. B is a set called the co-domain,
3. ##\Gamma \subset A \times B## is a set called the graph,
4. for all ##x \in A## there exists ##(x, y) \in \Gamma## ("every function is defined on its domain"),
5. if ##(x_1, y) \in \Gamma## and ##(x_2, y) \in \Gamma## then ##x_1 = x_2## ("the vertical line test").
Notations such as ##f(x)## are attempts at defining functions without writing the whole thing down. They are just shortcuts. Different books will have different conventions.

Now as to the question concerning ##f## vs ##f(x)##. When I was much younger I came across an abstract algebra textbook focusing on ring theory dating back to the early 1930s. It used the ##xf## notation: that is ##x## is a point in the domain and ##f## is the map (homomorphism). The clear advantage is composition. ##xfg## is apply f then g. Today we have to write ##g\circ f##. This is great for algebra, horrible for applied analysis. What is ##2f##? Twice the functions? Or the function evaluated at 2? To top it off, as matrices became more standard, we have abandoned ##xf## notation for ##f(x)##, but the split between "f" and "x" stayed in pure mathematics circles. So as a consequence pure mathematicians consider the function to be "f" and the valued to be "f(x)".

But I can't find any old applied mathematics papers that doesn't use "f(x)" is the function. For an applied mathematician what a function does at each point is of prime importance. It's my belief that applied mathematics has used "f(x)" before pure mathematics has used "f" as the function.

Thank you, this really helps. I did sort of realize that applied texts, such as physics textbooks, often always define a function simply as ##f(x)##, while pure mathematics texts used the convention of ##f## being the function while ##f(x)##, the value at ##x##.

Mr Davis 97 said:
Is it even possible to talk about what the majority of functions do to inputs without having to apply the function to some free variable, like ##x##?

Some functions sure. The identity function from ##X\to X## is the function with the property such that for any ##f:X\to X## we have ##f \circ Id = Id \circ f##.
Remember category theory can defined things like injectivity without any reference to the variable.

Majority? Depends on what information you want from it, right?

Edit for grammar

Last edited:
pwsnafu said:
Some functions sure. The identity function from ##X\to X## is the function with the property such that for any ##f:X\to X## we have ##f \circ Id = Id \circ f##.
Remember category can defined things like injectivity which any reference to the variable.

Majority? Depends on what information you want from it, right?

Majority as in functions you learn in high school, e.g., polynomial, transcendental, and combinations of the two. To talk about what the function, say, ##f(x) = sin(x) + x^2 - 1## does without reference to any input, what could we do? How could be talk about the ##f## function without reference to any dummy input? Do we only usually define functions like ##f(x)##, with reference to the dummy input, because that's easier than saying ##f(~): \text{take the sin, add the square, subtract 1}##? (Please excuse if this is a dumb question; I'm just trying to figure out why we define functions based on the output, ##f(x)##, rather than just ##f(~)##).

Mr Davis 97 said:
I'm just trying to figure out why we define functions based on the output, ##f(x)##, rather than just ##f(~)##).

As you said, it usually is simplest to define a function using a dummy variable. If you think about computer programming a function is given a dummy argument so that the procedure of computing the function can be defined. After a function has been defined, it can be referred to as "the function f" or "the function f()". That notation is actually used.

The question of "what is a variable" is not simple to answer. Within a certain "scope" a variable is treated like a symbol that represents a specific number. In computer programming, the "scope" of a variable is clear. If you see an "x" within the scope of a function, you know it isn't the "x" referred to in the code for a different function. In mathematical writing, many authors are careless. For example, you may be told that f(x) = 3x + 2 and g(y) = sin(y) + y^2 are "functions". But then your are told something like y = 2x, enforcing a relation between y and x,. Many discussions in physics that speak of "functions" are actually discussion of "relations" or discussion of several different functions, all denoted as the same function. The use of specific dummy variables facilitates such ambiguous but sometimes convenient writing.

Mr Davis 97

## What is a function?

A function is a mathematical concept that describes the relationship between two quantities, typically referred to as the input and output. It takes an input value and produces an output value based on a specific rule or set of rules.

## What is the notation for a function?

The notation for a function is typically written as f(x), where f is the name of the function and x is the input value. The parentheses indicate that x is the input and that the output is a value of f.

## How is a function graphed?

A function is graphed by plotting points on a coordinate plane. The x-values are plotted on the horizontal axis and the corresponding y-values are plotted on the vertical axis. These points are then connected to create a visual representation of the function.

## What is the domain of a function?

The domain of a function is the set of all possible input values. It is the independent variable of the function and is typically represented by the variable x. The domain can be restricted by certain rules or limitations, such as non-negative numbers or real numbers only.

## What is the range of a function?

The range of a function is the set of all possible output values. It is the dependent variable of the function and is typically represented by the variable y. The range can also be restricted by certain rules or limitations, such as a minimum or maximum value.

• General Math
Replies
13
Views
2K
• General Math
Replies
4
Views
1K
• General Math
Replies
3
Views
827
• General Math
Replies
4
Views
2K
• General Math
Replies
7
Views
1K
• General Math
Replies
4
Views
2K
• General Math
Replies
4
Views
1K
• General Math
Replies
16
Views
2K
• General Math
Replies
12
Views
2K
• Set Theory, Logic, Probability, Statistics
Replies
2
Views
1K