TheoremBase

Extending a Map by One Point, and Extending a Bijection by One Point

A map on A extends uniquely to A together with one new point p, with a prescribed value at p; if the map is a bijection onto C and the new value lies outside C, the extension is a bijection onto C together with that value.

Statement

In the setting of Sets and Maps: Ordinary Notation, let AA and BB be sets, let g:A→Bg:A\to B be a map, let pp be a set with p∉Ap\notin A, and let c∈Bc\in B; {p}\{p\} and {c}\{c\} are singletons.

There is exactly one map h:A∪{p}→Bh:A\cup\{p\}\to B such that h(u)=g(u)h(u)=g(u) for every u∈Au\in A and h(p)=ch(p)=c.

Let moreover CC be a subset of BB such that g:A→Cg:A\to C is a bijection, and let c∉Cc\notin C. Then the map hh of (i) is a bijection h:A∪{p}→C∪{c}h:A\cup\{p\}\to C\cup\{c\}.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…