Miscellaneous · Q1: is a bijection onto
Show that the function defined by is one one and onto function.
Since , is defined on , and
so . Also has the same sign as , and
One-one: Let . Then are both or both .
If :
If :
Thus is one-one.
Onto: Let .
If , take . Then , so .
If , take . Then , so .
Thus is onto.
Hence is one-one and onto.
Want the reason behind every step, the basics and the checks?
The absolute value has two different formulas: when and when . Everything here works by splitting into these two cases. The key observation that makes the split clean is that always has the same sign as , because the denominator is always positive. So equal outputs force the inputs onto the same side of 0, and inside one case is a simple fraction we can solve exactly.
- Given
- for every real . The codomain is the open interval , so and themselves are excluded.
- To show
- (a) is one-one; (b) is onto .
- Plan
- (1) Check every output really lies in . (2) Note the sign rule. (3) One-one: assume and show , case by case. (4) Onto: for any , solve for , case by case, and check the solution. (5) Conclude, and read off the inverse.
Basics you need
if , and if . It is always , and for every (a number is always less than itself plus 1).
For , the codomain is where outputs are allowed to land; "onto" asks whether they land on all of it. Before testing onto, make sure every output actually lies in . Basics: what a function is
One-one: . Onto: every in the codomain equals for some in the domain. Basics: one-one and onto
If every possibility falls into one of a few cases, proving the claim in each case proves it outright. The cases must cover everything, and each case may use its own facts (here, its own formula for ). Basics: proving and disproving
To solve , multiply both sides by the denominator (only allowed because it is not zero), collect the -terms on one side, and divide.
Solution
Every output lands inside
The denominator satisfies , so it is never zero and is defined for every real . Now compare the size of the top and the bottom:
So for every . The function really does map into the stated codomain .
The question names as the codomain. Before asking "is every point of reached?", we must confirm that no output escapes it. A fraction whose numerator is smaller in size than its positive denominator always has size less than 1. Note the inequality is strict: can get as close to as we like but never equals , which matches the open interval.For a fraction with , , and this is less than 1 exactly when .The sign rule: has the same sign as
Since the denominator is positive, the sign of is the sign of its numerator :
So the two formulas for give two formulas for :
The first formula gives outputs in , the second outputs in .
The graph of (horizontal and vertical scales differ). It rises steadily, passes through the origin, and flattens towards without reaching them. Every horizontal line strictly between and meets it exactly once: once means one-one, and "at least once" means onto . This step is what makes the case analysis safe. If we know , the two outputs have the same sign, so and have the same sign too, and we may use the same formula for both. Without this observation we would also have to handle mixed cases, such as .Dividing by a positive number never changes the sign. Absolute value: for and for (Basic 1).One-one: equal outputs force equal inputs
Suppose . By Step 2 there are three possibilities for the common value .
Case . Only gives output 0 (the numerator must be 0), so .
Case . Then and , so both use :
Case . Then and , so both use :
In every case , so is one-one.
We cross-multiply because it clears the fractions. That is legal since , (in the positive case) and , (in the negative case) are all positive, never zero. After expanding, the product term appears on both sides and cancels, leaving . That cancellation is the whole reason this function is one-one. The three cases cover every possible value of , so the proof is complete.Proof by cases (Basic 4): the cases , and exhaust all real numbers. One-one means (Basic 3).Onto: solve for every in
Take any with . We look for a real with . The sign rule tells us which case to search in.
If : look for , so solve :
Because , , so the division is allowed. Because , , so this really is in the case we assumed. Check: , so
If : look for , so solve :
Because , , so the division is allowed, and because , , so is in the assumed case. Check: , so
Every has a preimage, so is onto .
This is where the open interval matters. The formula breaks down exactly at (division by zero), and breaks down at . These are precisely the two values excluded from the codomain. If the question had used as the codomain, onto would be false: no gives . The check at the end of each case is not optional. Solving an equation finds the only candidate; the check confirms that it lies in the right case and really works.Onto means: for each in the codomain, find an in the domain with (Basic 3). Multiplying both sides by a non-zero quantity keeps an equation equivalent (Basic 5).Conclude, and read off the inverse
is one-one (Step 3) and onto (Step 4), so it is a bijection from to . The two formulas of Step 4 combine into one, because for and for are both :
A bijection can be undone, and Step 4 has already done the undoing: it found the unique input for each output. Writing the result as one formula shows the pleasing symmetry. squeezes the whole real line into by dividing by , and stretches it back out by dividing by .A function has an inverse exactly when it is one-one and onto. Lesson: invertible functions
maps into . It is one-one, because equal outputs share a sign and the cross-multiplied equation reduces to in each case. It is onto , because every has the preimage (for ) or (for ). Hence is a bijection, with inverse .
Forward: and . Back: ✓, and ✓. Near the edge: needs . Getting close to 1 requires a very large , which is why 1 itself is never reached.
- Ignoring the absolute value and solving for all . That formula only describes for ; for negative it would give a positive-case that is actually negative, so it would not be a valid preimage.
- Skipping Step 1. Without showing , "onto " is not even a well-posed claim.
- Mixing cases in the one-one proof without justification. The sign rule is what rules out .
- Not checking the solved lies in the case assumed ( or ).
- When appears, split into and . Then find a fact (here, the sign rule) that tells you both inputs fall in the same case.
- The excluded endpoints of the codomain are exactly where the inverse formula divides by zero. That is a good sanity check on any "onto" claim.
- The algebra in Step 4 is the inverse function. A proof of onto by solving gives you for free.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| for , for ; | Steps 1–4 | Definition of absolute value |
| Positive denominator keeps the sign | Step 2 | Arithmetic of signs |
| Cross-multiplication with non-zero denominators | Steps 3, 4 | Algebra of equations |
| Definitions of one-one, onto, bijective | Steps 3–5 | Definitions 5–7, Section 1.3 (Lesson: types of functions) |
| Bijective ⇔ invertible | Step 5 | Definition 9 and Section 1.4 (Lesson: invertible functions) |
| All numerical values | Check | Recomputed exactly (fractions) in the site's verification script |
Tell us if something on this page is wrong or unclear, or if you would like a fuller explanation, another method or a new feature. Send feedback on this problem →