Content deleted Content added
Pifvyubjwm (talk | contribs) →Generalizations: Added link Inclusion map on only instance of the word inclusion. Tags: Mobile edit Mobile app edit Android app edit |
Citation bot (talk | contribs) Alter: template type. Add: s2cid, bibcode, doi, page, issue, volume, year, journal. | Use this bot. Report bugs. | Suggested by Abductive | Category:Pages using Sister project links with wikidata mismatch | #UCB_Category 388/431 |
||
Line 308:
* <p>If nonempty {{math|''f'': ''X'' → ''Y''}} is injective, construct a left inverse {{math|''g'': ''Y'' → ''X''}} as follows: for all {{math|''y'' ∈ ''Y''}}, if {{mvar|y}} is in the image of {{mvar|f}}, then there exists {{math|''x'' ∈ ''X''}} such that {{math|1=''f''(''x'') = ''y''}}. Let {{math|1=''g''(''y'') = ''x''}}; this definition is unique because {{mvar|f}} is injective. Otherwise, let {{math|''g''(''y'')}} be an arbitrary element of {{mvar|X}}.</p><p>For all {{math|''x'' ∈ ''X''}}, {{math|''f''(''x'')}} is in the image of {{mvar|f}}. By construction, {{math|1=''g''(''f''(''x'')) = ''x''}}, the condition for a left inverse.</p>
In classical mathematics, every injective function {{mvar|f}} with a nonempty ___domain necessarily has a left inverse; however, this may fail in [[constructive mathematics]]. For instance, a left inverse of the [[Inclusion map|inclusion]] {{math|{0,1} → '''R'''}} of the two-element set in the reals violates [[indecomposability (constructive mathematics)|indecomposability]] by giving a [[Retract (category theory)|retraction]] of the real line to the set {{math|{0,1{{)}}}}.<ref>{{cite
====Right inverses====
| |||