Example of onto function R->R^2

  • Thread starter Thread starter Aziza
  • Start date Start date
  • Tags Tags
    Example Function
AI Thread Summary
An example of an onto function from ℝ to ℝ² is defined by splitting the decimal expansion of a real number x into two parts, creating new numbers a(x) and b(x), such that f(x) = (a(x), b(x)). This ensures that for every point in ℝ², there exists a corresponding x in ℝ, making the function surjective. The discussion clarifies that a function must provide a unique output for each input to qualify as onto. The term "onto" is synonymous with "surjective," emphasizing the requirement that every element in the codomain must be mapped by at least one element from the domain. The conversation highlights the importance of understanding the technical definition of surjectivity in mathematical functions.
Aziza
Messages
189
Reaction score
1
What is an example of an "onto" function f: ℝ→ℝ2 ?

Any combination of vectors along the x-axis will not be able to leave the x-axis to cover the entire xy plane, so i was thinking of something like f(x) = \left|\stackrel{t}{x}\right| for any t\inℝ, but I was wondering if there are more elegant examples...
 
Physics news on Phys.org
See what I can do:

Let: ##t\in\mathbb{R}##
... then I can define two functions ##x,y \in \mathbb{R}\rightarrow\mathbb{R}\; : \; x=f(t), y=g(t)##
... then I can make ##z:\mathbb{R}\rightarrow\mathbb{R}^2\; : \; \vec{z}=(x,y)##

... we would say that f(t) and g(t) is a parameterization of z(x,y).
 
@Aziza, what do you mean by "any t \in \mathbb{R}". If your f is a function, then for a given input x, you need to specify a unique output f(x). E.g. f(1) can only be one point in the plane, you can't have f(1) = (1, 0), and also f(1) = (1,1), and also f(1) = (1, -\pi), and so on.

Since I can't tell whether this is a homework question or not, I'll give you something between a hint and a full answer: for a given x \in \mathbb{R}, split the decimal expansion of x into two parts and create new real numbers out of each of those two parts (we can call these two numbers a(x) and b(x)). Then if you've done things right, the function f:\mathbb{R} \to \mathbb{R}^2 defined by f(x) = (a(x), b(x)) will be surjective.

@Simon, Aziza has asked for a surjective function \mathbb{R} \to \mathbb{R}^2. You've given a function \mathbb{R} \to \mathbb{R}^2, but nothing about it makes it onto. Note that onto is a technical term, another word for it is surjective. A function f: A \to B is surjective iff \forall b \in B, \exists a \in A : f(a) = b.
 
@AKG: understood, thanks.
 
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...

Similar threads

Back
Top