Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider the functions $f:\mathbb{R}\rightarrow\mathbb{R}$ and $g:\mathbb{R}\rightarrow\mathbb{R}$ defined by the formulas $f(x)=x^2$ and $g(y)=y^2$ $\forall x,y \epsilon \mathbb{R}$. Is it true that $f=g$ as functions?

My thougts so far: Intuitively, yes. Since the two functions are equal at every point where they are defined and are defined on the same points, the are effectively the same function. What concerns me here is the different notation of $x$ and $y$. How does that play into the problem? Are the functions still equivalent?

Thank you.

share|cite|improve this question
6  
They are identical. The confusion may come from having been trained with "x and y axes" forcing $y$ to be a function of $x$ – DavidP 13 hours ago
    
Yes, they are the same function. The name of the variables doesnt care. – Masacroso 12 hours ago
1  
This is the axiom of functional extensionality. In some theories, it is not provable. It is true in ZF and in conventional mathematics. – Istvan Chung 11 hours ago
    
Related concept: alpha-equivalence in lambda calculus. The functions are identical when you alpha-rename their parameter to the same name. – Rhymoid 10 hours ago

Yes, the functions are equal. The choice of $x$ or $y$ (or any other symbol) doesn't carry any meaning; those are what are sometimes referred to as dummy variables (link to MathWorld). I could define $h:\mathbb{R}\to\mathbb{R}$ by $$h(\&)=\& ^2$$ and then $h$ would again be the same function as $f$ and $g$.


More generally, if $A$ and $B$ are sets, then a function from $A$ to $B$ is usually defined formally to be a subset $R\subseteq A\times B$ such that, for all $a\in A$, there is exactly one element of $R$ whose first entry is $a$. The collection of all functions from $A$ to $B$ is usually written $B^A$. Under this system, $f$ refers to the subset $$\{(x,x^2):x\in\mathbb{R}\}\subset \mathbb{R}\times\mathbb{R}$$ and $g$ refers to the subset $$\{(y,y^2):y\in\mathbb{R}\}\subset \mathbb{R}\times\mathbb{R}$$ But the subsets are the same, since they have the same elements! $\,(3,9)$, $\,(-1.1,1.21)$, $\,(\pi,\pi^2)$, etc., all the elements of one are elements of the other and vice versa. By the axiom of extensionality (Wikipedia) they are equal. This more formal argument is what Andrea Mori's answer is about.

share|cite|improve this answer
    
Do you mean h(&) = &^2? If so, I think I understand. – Ethan Zell 13 hours ago
    
Thanks! Sorry about the premature post. – Ethan Zell 13 hours ago
9  
Why aren't we using functions like $♫(☺) = ☺^2$ haha. – Kevin 11 hours ago
    
Interestingly, determining if two functions are equal is an undecidable problem. In other words, specific instances may be solvable, but there is no general algorithm (and there may even be specific instances that are unsolvable, I'm unsure of that one) – BlueRaja - Danny Pflughoeft 3 hours ago
1  
@BlueRaja-DannyPflughoeft -- to be precise, you need to specify how the functions are specified in your model of computation. What you say is correct if, say, $f$ and $g$ are given as specifications of Turing machines, since the Halting Problem can be reduced to this one. – Alexander Dunlap 2 hours ago

A function $f:\Bbb R\rightarrow\Bbb R$ can be seen as a (certain) subset of $\Bbb R^2$ (Note: in fact the functions are usually defined to be certain subsets, but you can ignore this now)

Two functions are the same when the corresponding subsets are the same. The names you choose for the coordinates in $f:\Bbb R\rightarrow\Bbb R$ are irrelevant.

share|cite|improve this answer

In elementary schools these days students might see the function described this way $$ f(\quad) = (\quad)^2 $$ or $$ f(\text{weird symbol}) = (\text{weird symbol})^2 $$ so when they get as far as you they wouldn't have to ask this good question.

share|cite|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.