Difference between revisions of "Factoring a function through the projection of an equivalence relation induced by that function yields an injection"

From Maths
Jump to: navigation, search
(Created page with "{{Stub page|grade=A*|msg=Flesh out and demote}} __TOC__ ==Statement== {{float-right|{{/Diagram}}}}Let {{M|X}} and {{M|Y}} be sets, let {{M|f:X\rightarrow Y}} be any func...")
 
m (→‎Statement: Fix weird sentence)
Line 2: Line 2:
 
__TOC__
 
__TOC__
 
==Statement==
 
==Statement==
−
{{float-right|{{/Diagram}}}}Let {{M|X}} and {{M|Y}} be [[sets]], let {{M|f:X\rightarrow Y}} be any [[function]] between them, and let {{M|\sim\subseteq X\times X}} denote the ''[[equivalence relation]]'' [[equivalence relation induced by a function|induced by a function]], recall that means:
+
{{float-right|{{/Diagram}}}}Let {{M|X}} and {{M|Y}} be [[sets]], let {{M|f:X\rightarrow Y}} be any [[function]] between them, and let {{M|\sim\subseteq X\times X}} denote the ''[[equivalence relation]]'' [[equivalence relation induced by a function|induced by the function {{M|f}}]], recall that means:
 
* {{M|1=\forall x,x'\in X[x\sim x'\iff f(x)=f(x')]}}
 
* {{M|1=\forall x,x'\in X[x\sim x'\iff f(x)=f(x')]}}
 
Then we claim we can {{link|factor|function}}<ref group="Note">{{AKA}}: {{link|passing to the quotient|function}}</ref> {{M|f:X\rightarrow Y}} through {{M|\pi:X\rightarrow \frac{X}{\sim} }}<ref group="Note">the [[canonical projection of the equivalence relation]], given by {{M|\pi:x\mapsto [x]}} where {{M|[x]}} denotes the [[equivalence class]] containing {{M|x}}</ref> to {{underline|yield an [[injective]]}} map:
 
Then we claim we can {{link|factor|function}}<ref group="Note">{{AKA}}: {{link|passing to the quotient|function}}</ref> {{M|f:X\rightarrow Y}} through {{M|\pi:X\rightarrow \frac{X}{\sim} }}<ref group="Note">the [[canonical projection of the equivalence relation]], given by {{M|\pi:x\mapsto [x]}} where {{M|[x]}} denotes the [[equivalence class]] containing {{M|x}}</ref> to {{underline|yield an [[injective]]}} map:
Line 8: Line 8:
 
Furthermore, if {{M|f:X\rightarrow Y}} is [[surjective]] then {{M|\tilde{f}:\frac{X}{\sim}\rightarrow Y}} is not only [[injective]] but [[surjective]] to, that is: {{M|\tilde{f}:\frac{X}{\sim}\rightarrow Y}} is a [[bijection]]<ref group="Note">See "''[[If a surjective function is factored through the canonical projection of the equivalence relation induced by that function then the yielded function is a bijection]]''" for details</ref>.
 
Furthermore, if {{M|f:X\rightarrow Y}} is [[surjective]] then {{M|\tilde{f}:\frac{X}{\sim}\rightarrow Y}} is not only [[injective]] but [[surjective]] to, that is: {{M|\tilde{f}:\frac{X}{\sim}\rightarrow Y}} is a [[bijection]]<ref group="Note">See "''[[If a surjective function is factored through the canonical projection of the equivalence relation induced by that function then the yielded function is a bijection]]''" for details</ref>.
 
<div style="clear:both;"></div>
 
<div style="clear:both;"></div>
 +
 
==Proof==
 
==Proof==
 
{{Requires proof|grade=A*|msg=Do this now, just saving work}}
 
{{Requires proof|grade=A*|msg=Do this now, just saving work}}

Revision as of 12:49, 9 October 2016

Stub grade: A*
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Flesh out and demote

Statement

Commutative diagram showing the situation
Let X and Y be sets, let f:X→Y be any function between them, and let ∼⊆X×X denote the equivalence relation induced by the function f, recall that means:
  • ∀x,x′∈X[x∼x′⟺f(x)=f(x′)]

Then we claim we can factor[Note 1] f:X→Y through π:X→X∼[Note 2] to yield an injective map:

  • ˜f:X∼→Y

Furthermore, if f:X→Y is surjective then ˜f:X∼→Y is not only injective but surjective to, that is: ˜f:X∼→Y is a bijection[Note 3].

Proof

Grade: A*
This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:
Do this now, just saving work

See also

Notes

  1. Jump up ↑ AKA: passing to the quotient
  2. Jump up ↑ the canonical projection of the equivalence relation, given by π:x↦[x] where [x] denotes the equivalence class containing x
  3. Jump up ↑ See "If a surjective function is factored through the canonical projection of the equivalence relation induced by that function then the yielded function is a bijection" for details

References


Retrieved from "http://www.maths.kisogo.com/index.php?title=Factoring_a_function_through_the_projection_of_an_equivalence_relation_induced_by_that_function_yields_an_injection&oldid=3247"