0

Throughout my math education up until now (1st year of college) I had been told by all my math teachers that a curve that is drawn is "some letter parentheses $x$" (e.g. $f(x)$, $g(x)$, etc.). But one day I realized that $f(x)$ (let's just work with $f(x)$) is saying that the curve is made of only outputs when, actually, a curve is made of inputs and outputs. Then I asked on this site what the real name of a curve is and it's some letter (e.g. $f$, $g$, etc.), but why its just some letter is unclear to me. Anyways, staying on the main issue, If I have $f(x)$ and $f(-x)$, since $f$ is present in each case and since $f$ is a curve, the curves in each case should be the same. But they are different. Someone had told me $f(x)$ and $f(-x)$ are just different ways of looking at the same curve, but what does this mean? I have been trying to resolve this problem for 2 weeks.

  • 2
    Here's the key thing to understand. $f,g$, as you are using them, are $\textbf{functions}$, not curves. One can draw a curve to represent the function, if the domain and range of the function are drawable. Complex functions, for example, would require 4 dimensions to draw, which isn't particularly feasible. Curves, as you use the term, are simply representations of a function. This is why your argument that $f(x)=f(-x)$ isn't true generally: you must think of these objects as functions, and curves as simply ways of visualizing (curves are more interesting than that, but that's too advanced for – Rushabh Mehta Oct 10 '19 at 03:39
  • this post.) I hope that helped! – Rushabh Mehta Oct 10 '19 at 03:40
  • @DonThousand How are $f(x)$ and $f(-x)$ different functions? This is how I think of the meaning of $f(x)$ and $f(-x)$: If I have the machine or function $f$, if I give it $x$, it gives me $f(x)$. If I give $f$ $-x$, it gives me $f(-x)$. The same function is involved in each case and $f(x)$ and $f(-x)$ are just ways of naming the different outputs given by the same function. –  Oct 10 '19 at 03:46
  • Nooo, $f(-x)$ refers to the function $f$, but with inputs reversed, i.e., any time $x=a$, we input $-a$ into $f$, and assign that as the output of $a$ applied to $f(-x)$. – Rushabh Mehta Oct 10 '19 at 03:47
  • Ok so what you just said is that $f(-x)$ tells you instructions for drawing a curve, and these instructions are that the points of the curve are $(a, f(-a))$ when $x=a$. So, $f(x)$ tells you different instructions for drawing a different curve and these instructions are that the points of the curve are $(a, f(a))$ when $x=a$. $f(-x)$ and $f(x)$ seem to be distinct curves that are draw using the same function. –  Oct 10 '19 at 03:58
  • I really don't like how you are associating functions with curves, but I guess that is an interpretation that is on the right path. – Rushabh Mehta Oct 10 '19 at 03:58
  • 1
    No, generally, they are not curves. I'd suggest perhaps clearing your mind of your understanding of functions, and relearning it from a proper book. – Rushabh Mehta Oct 10 '19 at 04:03
  • @DonThousand So I'm justified in saying that $f(-x)$ and $f(x)$ are curves? I'm about to tear my hair out aghhhh. –  Oct 10 '19 at 04:03
  • @DonThousand what book would you recommend? What course in math does this have to do with? Is this part of the basics of real analysis? –  Oct 10 '19 at 04:13
  • I think you should think in terms of functions and graphs of functions rather than "curves". Suppose $f$ is a function with domain $D$. The graph of $f$ is, by definition, ${(x,f(x)) \mid x \in D }$. Sometimes, but not always, the graph of $f$ looks like a smooth curve. – littleO Oct 10 '19 at 04:14

2 Answers2

1

I asked on this site what the real name of a curve is...

What you are calling a curve is what we call a function. The graph of a function is what I'm sure you are meaning by a curve. I should note, though, that a curve is NOT a function. They are two distinct entities, however they usually do relate to each other.

I had been told by all my math teachers that a curve that is drawn is "some letter parentheses x" (e.g. f(x), g(x), etc.)...a curve is made of inputs and outputs.

This is the notation we use to denote a function. If $f$ is a function, then we say $x$ is its input and $f(x)$ is its output. You can visualize this process by plotting $y=f(x)$ on the $x$-$y$ plane. For instance, if we have $f(1) = -1$, then we can go to the point associated with $x=1$ and $y=-1$ and draw a point there. We generally call this point $(1,-1)$ an ordered pair.

Point of (1,-1)

If I have $f(x)$ and $f(−x)$, since $f$ is present in each case and since $f$ is a curve, the curves in each case should be the same. But they are different. Someone had told me $f(x)$ and $f(−x)$ are just different ways of looking at the same curve, but what does this mean?

In general, $f(x) \neq f(-x)$, however there are exceptions. For example, if $g(x) = x^2$, then $$g(-x) = (-x)^2 = x^2 = g(x).$$ However, this isn't always true, for example if $f(x) = 3x+1$, then $$f(-x) = 3(-x) + 1=-3x+1\neq3x+1=f(x).$$ Remember, the notation $f(x)$ says that $x$ is our input and $f(x)$ is our output. This means that if $-x$ is our input, then $f(-x)$ is our output. To say that these are just different ways of looking at the same curve is sort of true. Informally, imagine taking the graph of $y=f(x)$ and flipping it (we usually say reflect) across the $y$-axis. Then you get $y=f(-x)$.

In the following figure, $f(x)=e^x$ is in red and $f(-x)=e^{-x}$ is in blue. Reversed Graph

Consider reading the beginning of Understanding in Mathematics to understand functions.

HiMatt
  • 1,484
  • How is the $3x+1$ example an exception? –  Oct 10 '19 at 04:10
  • @user532874 I had my examples ordered wrong, I fixed it. – HiMatt Oct 10 '19 at 04:12
  • Here's the crux of my misunderstanding. Don Thousand said basically the notation $f(-x)$ tells you instructions for drawing something, and these instructions are that you plot ordered pairs $(x, f(-x))$. $f(-x)$ in particular is obtained by giving the function (or conceptual machine) $f$ a $-x$ and what it spits out is $f(-x)$. $f(x)$ tells you different instructions for drawing a different thing and these instructions are that you plot ordered pairs $(x, f(x))$. $f(x)$ is obtained by giving the function (or conceptual machine) $f$ a $x$ and it spits out $f(x)$. –  Oct 10 '19 at 04:26
  • $f(x)$ and $f(-x)$ are different things visually that are created using the same function. But you say $f(x)$ and $f(-x)$ are different functions. –  Oct 10 '19 at 04:26
  • 1
    Are you there HiMatt? –  Oct 10 '19 at 04:47
  • I don't mean to be pedantic here, but $f(x)$ is NOT a function, $f$ is (although this is something everyone, including I, says wrong). What Don Thousand has told you is all correct. If I say $f(x)=e^x$, what I am talking about is $f$ is a set of ordered pairs of the form $(x,e^x)$. Hence, if I use $-x$ instead of $x$, then I get ordered pairs in the form $(-x,e^{-x})$. When you use $x$ for $f(x)$, you are really just withdrawing the "second part" of the ordered pair corresponding to $x$, which is $f(x)=e^x$. However, saying $f(x) = f(-x)$ isn't necessarily true since $x$ and $-x$ correspond to – HiMatt Oct 10 '19 at 04:59
  • different ordered pairs (unless $x=0$). – HiMatt Oct 10 '19 at 04:59
  • Ok so $f(x)$ and $f(-x)$ are visual things (sometimes the same looking sometimes not the same looking) that are drawn on a plane using the same function $f$. These "things" are what curves are, at least to me. How are you defining what a curve is? You said a curve is a function so since $f(x)$ and $f(-x)$ are curves, they must be functions. But you said $f(x)$ and $f(-x)$ are not functions. –  Oct 10 '19 at 05:11
  • Also when plotting $f(-x)$, you are not plotting $(-x, f(-x))$. You are plotting $(x, f(-x))$. I am referring to your $(-x, e^{-x})$ example. This is why $f(-x)$ when compared to $f(x)$ is reflected about the y-axis, isn't it? –  Oct 10 '19 at 05:13
  • Functions are not inherently visual things, we as humans assign visual representation to them. Note that $f(x)$ and $f(-x)$ are merely "things", not necessarily "visual things". A curve MAY be created by plotting a function. If I say plot $y=f(x)$, that means plot the ordered pairs in the form $(x,f(x))$. – HiMatt Oct 10 '19 at 05:20
0

The foundation of mathematics is generally taught using set theory, the crux of which being a collection of objects called a set: $A =\{1,2,3\}$. A point on a plane can be characterized as an ordered pair $(p,q)$, which is simply a set with two numbers with order. In other words $(1,2) \not = (2,1)$. This is a useful mathematical object.

We can characterize a bunch of points on a plane as a set of ordered pairs. People generally refer to sets of sets and collections. So check out this collection of ordered pairs: $A = \{(1,2),(5,3),(6,2)\}$. These are 3 points on a plane. If you think about it, a curve is nothing more than an infinity large collection of ordered pairs.

This was a revolutionary idea in mathematics that cropped up in the late 1800s, led by great minds such as Cantor. People never really thought things this way before. Before the 1800s, people generally thought of math as geometry: shapes, curves, etc. How would you define a curve? There was no definition! A curve was given, similar to how a set is given to us. Later on in Euler's time (about the late 1700s), mathematics transformed from being geometry-based to algebra-based. Instead of curves, you had functions. Instead of shapes, you had equations. Math taught in high school and some 300-level math classes tend to stick with this paradigm of thought, and for good reason. It's useful. However, it has flaws. What the heck is a curve? How is it different than a function? What does f vs. f(x) mean?

To know what a curve is, you have to know what a function is. And to know that, you need to know what binary relation is.

Take two sets $A,B$. A binary relation $F$ on $A,B$ is simply a set of ordered pairs where the first element is in the set $A$, and the second is in the set $B$. For instance, lets say $(1,3)$ is an element in $F$. We say that F maps 1 to 3. This will be useful later.

A function is a special type of binary relation. Specifically, it is a binary relation on some sets $A,B$ with the rule that every element in $A$ is mapped to a unique element in $B$. We call the left set the domain and the right set the codomain. So $F=\{(1,2),(5,6),(1,5)\}$ is not a function. It is however a binary relation on the sets $\{1,5\}$ and $\{2,5,6\}$. But not a function. This is because F maps 1 to 2 and maps 1 to 5. 1 is mapped to two elements. It isn't mapped to a unique element.

Take the binary relation $\{(1,2),(5,3),(2,2)\}$. This is a function. Sweet.

People like to use lowercase letters to represent functions, which mind you are simply collections of ordered pairs with that function rule that every element in the domain has a uniquely mapped element in the codomain.

Let $f$ be a function that maps $\mathbb{R}$ to $\mathbb{R}$. The notation we use is $f:\mathbb{R} \rightarrow \mathbb{R}$. We define $f$ as $f(x)=x^2$. So $f(x)$ is a notation used to denote whatever the number $x$ is mapped to. What should $f(x)$ and $f(-x)$ be any different? Well $x$ is just an arbitrary number. Therefore $-x$ is the negation of an arbitrary number, which is itself an arbitrary number. From a logical standpoint, they are identical.

So yes, $f$ is a curve, but $f(x)$ isn't. Though some people use the notation interchangeably and that's fine. Notation is all about exchanging information, so if it's doing that then good.

Note that $f$ isn't technically a curve. I can define some pretty weird functions that are discontinuous. A curve has to be continuous, but that's a story for another time.

  • So what should be the proper way of labeling a graph? If I type in $x^2$ into one of entry boxes in desmos, I get a parabola. If I had to draw this parabola, what should I label it as? $f(x)=x^2$ seems the most logical because it says the parabola is visually showing $f$ mapping $x$ to $x^2$. –  Oct 10 '19 at 06:26
  • The proper way is however your teacher wants you to label it. But technically, the proper way is simply “f”, since that’s what a curve is: f is a set of ordered pairs. You can also do “f:R->R, f(x)=x^2”. This shows the domain, the codomain, the function label “f”, and the predicate that defines the binary relation. – Spencer Kraisler Oct 10 '19 at 08:09