PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (50)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'bijection'
1. $\mathcal{U}$-small by mathcam
2. a connected normal space with more than one point is uncountable by azdbacks4234
3. a functor is an equivalence iff it is fully faithful and essentially surjective by CWoo
4. a surjection between finite sets of the same cardinality is bijective by ratboy
5. adjoint functor by mps
6. affine geometry by CWoo
7. affine transformation by matte
8. algebraic geometry by archibal
9. algebraic numbers are countable by pahio
10. algebraic sets and polynomial ideals by mathcam
11. algebraic system by CWoo
12. alternating group has index 2 in the symmetric group, the by yesitis
13. alternating harmonic series by CWoo
14. alternative characterizations of recursive functions by rspuzio
15. alternative definition of cardinality by CWoo
16. alternative definition of category by rspuzio
17. alternative definition of category by rspuzio
18. alternative definitions of countable by CWoo
19. an injection between two finite sets of the same cardinality is bijective by alozano
20. analytic geometry by pahio
21. anti-isomorphism by Mathprof
22. autofunctor by mathcam
23. automorphism by mathcam
24. axiom of countable choice by yark
25. axiom of dependent choices by CWoo
26. binary Gray code by mathcam
27. Borel isomorphism by bci1
28. Borel space by bci1
29. calculus of subgroup orders by Algeboy
30. Cantor set by yark
31. Cantor's paradox by Henry
32. Cantor's theorem by Wkbj79
33. cardinality by yark
34. cardinality of disjoint union of finite sets by mathcam
35. category of Borel spaces by bci1
36. Cayley's parameterization of orthogonal matrices by rspuzio
37. centralizer by drini
38. chain by CWoo
39. change of variables in integral on $\mathbb{R}^n$ by stevecheng
40. characterization of convergence of sequences in metric spaces by gumau
41. characterization of free submonoids by Ziosilvio
42. classification of covering spaces by Dr_Absentius
43. compass and straightedge construction by Wkbj79
44. conformality of stereographic projection by pahio
45. conformally equivalent by Koro
46. conic section by drini
47. conjugacy classes in the symmetric group $S_n$ by rm50
48. constructible numbers by CWoo
49. constructing automata from regular languages by CWoo
50. construction of a Brandt groupoid by CWoo
51. construction of polar coordinates by CWoo
52. continuous functional calculus by asteroid
53. converting between the Poincar\'{e} disc model and the upper half plane model by Wkbj79
54. countable by vampyr
55. countably infinite by vampyr
56. cycle by yark
57. cyclic permutation by CWoo
58. De Morgan algebra by CWoo
59. derivation language by CWoo
60. derivative as parameter for solving differential equations by pahio
61. diamond lemma by CWoo
62. differential geometry by rspuzio
63. dimension by bbukh
64. direct limit of sets by CWoo
65. discrete space by mathcam
66. divisor function is multiplicative, the by yark
67. dual space by Daume
68. elementary proof of orders by Algeboy
69. elliptic curve by djao
70. enumerative combinatorics by mps
71. equivalence class by mathcam
72. equivalence class of equinumerous sets is not a set by CWoo
73. estimation of index of intersection subgroup by pahio
74. Euclidean space as a manifold by matte
75. example of continuous bijections which are not homeomorphisms by joking
76. example of free module with bases of diffrent cardinality by joking
77. example of quasi-affine variety that is not affine by Mathprof
78. examples of countable sets by CWoo
79. examples of finite simple groups by mathcam
80. exponential function by CWoo
81. exponential object by CWoo
82. Ext by mathcam
83. faithful group action by rspuzio
84. finite by djao
85. finite and countable discrete spaces by matte
86. finite projective plane by Mathprof
87. finite-dimensional linear problem by rmilson
88. fourth isomorphism theorem by bwebste
89. free objects in concrete categories by joking
90. free product by yark
91. free semigroup with involution by Mazzu
92. free vector space over a set by mathcam
93. Galois connection by CWoo
94. generalized toposes with many-valued logic subobject classifiers by bci1
95. geometric proof of Pythagorean triplet by rm50
96. geometry as the study of invariants under certain transformations by rspuzio
97. graph homomorphism by CWoo
98. graph isomorphism by vampyr
99. group extension by CWoo
100. group homomorphism by yark
101. handle decomposition by RobKing
102. homogeneous space by rmilson
103. homomorphism between partial algebras by CWoo
104. homotopes and isotopes of algebras by Algeboy
105. homotopy with a contractible domain by joking
106. ideals in matrix algebras by mathcam
107. ideals with maximal radicals are primary by joking
108. identity map by bwebste
109. if $A$ is infinite and $B$ is a finite subset of $A\,\!,$ then $A\setminus B$ is infinite by mathcam
110. imaginaries by mathcam
111. incidence geometry by CWoo
112. index of set theory by rspuzio
113. infinite by yark
114. infinite Galois theory by djao
115. intercession by WM
116. inverse function by matte
117. inverse function theorem (topological spaces) by mathcam
118. invertible linear transformation by djao
119. isometry by yark
120. isomorphic groups by alozano
121. isotope of a groupoid by CWoo
122. Julius K\"onig by WM
123. Kautz graph by wati
124. lattice paths and ballot numbers by rm50
125. linear algebra by rmilson
126. linear isomorphism by matte
127. logicism by gribskoff
128. mapping of period $n$ is a bijection by Koro
129. matrix by bbukh
130. matrix representation of a linear transformation by CWoo
131. matroid by mps
132. maximal ideals of the algebra of continuous functions on a compact set by asteroid
133. motivation of definition of constructible numbers by Wkbj79
134. M\"obius transformation by Koro
135. natural numbers identified with binary strings by tromp
136. near operators by mathcam
137. neighborhood system on a set by CWoo
138. Noetherian topological space by mathcam
139. number of unrooted labeled trees by rm50
140. numerable set by juanman
141. one-parameter subgroup by CWoo
142. open and closed intervals have the same cardinality by mps
143. orbit-stabilizer theorem by yark
144. ordered vector space by CWoo
145. ordering on cardinalities by CWoo
146. orthocomplemented lattice by CWoo
147. orthogonal Latin squares by CWoo
148. pairing function by rspuzio
149. partition is equivalent to an equivalence relation by CWoo
150. pentagonal number theorem by bbukh
151. period of mapping by bwebste
152. permanent by marijke
153. permutation by alozano
154. perspectivity by CWoo
155. pigeonhole principle by djao
156. polarities and forms by Algeboy
157. polarity by Algeboy
158. polynomials in algebraic systems by CWoo
159. power set by matte
160. prime spectrum by CWoo
161. product of countable sets by CWoo
162. projective geometry by Algeboy
163. projective line configurations by rspuzio
164. projective space by rmilson
165. projectivity by CWoo
166. proof of Cantor's theorem by Wkbj79
167. proof of closed graph theorem by Koro
168. proof of convergence criterion for infinite product by cvalente
169. proof of equivalent definitions of analytic sets for paved spaces by gel
170. proof of first isomorphism theorem by uriw
171. proof of fourth isomorphism theorem by aoh45
172. proof of fundamental theorem of Galois theory by pbruin
173. proof of Hausdorff paradox by GrafZahl
174. proof of invariance of dimension by Algeboy
175. proof of pigeonhole principle by Wkbj79
176. proof of pseudoparadox in measure theory by rspuzio
177. proof of quadratic reciprocity rule by mathcam
178. proof of Riemann mapping theorem by rspuzio
179. proof of Schroeder-Bernstein theorem using Tarski-Knaster theorem by kompik
180. proof of the Burnside basis theorem by Algeboy
181. proof of Zermelo's well-ordering theorem by Henry
182. proof that a Noetherian domain is Dedekind if it is locally a PID by gel
183. proof that countable unions are countable by Koro
184. proof that the rationals are countable by alozano
185. properties of a function by CWoo
186. properties of a gcd domain by CWoo
187. properties of an affine transformation by CWoo
188. properties of bijections by CWoo
189. properties of ordinals by CWoo
190. pullback by matte
191. quadratic map by Algeboy
192. quasi-inverse of a function by CWoo
193. quotient category by CWoo
194. quotient group by azdbacks4234
195. rational numbers are real numbers by matte
196. relational system by CWoo
197. representation theory of $\mathfrak{sl}_2 \mathbb{C}$ by benjaminfjones
198. residuated by CWoo
199. Riemann sphere by CWoo
200. Riemann's theorem on rearrangements by Gorkem
201. ring homomorphism by djao
202. root system underlying a semi-simple Lie algebra by rmilson
203. Schroeder-Bernstein theorem, proof of by mps
204. Schr\"oder-Bernstein theorem by yark
205. semiautomaton homomorphism by CWoo
206. semidirect product of groups by djao
207. set by Mathprof
208. similarity in geometry by pahio
209. simplicial complex by djao
210. structure homomorphism by almann
211. structure sheaf by djao
212. subobject classifier by CWoo
213. subsets of countable sets are countable by beke
214. sufficient statistic by CWoo
215. symmetric group by bwebste
216. symmetric group by antizeus
217. symmetric group on three letters by Wkbj79
218. tangent space by rmilson
219. tensor product of dual spaces is a dual space of tensor product by joking
220. the Cartesian product of a finite number of countable sets is countable by BenB
221. the groups of real numbers by Algeboy
222. the sum of the values of a character of a finite group is $0$ by alozano
223. things counted by the Catalan numbers by rm50
224. Thom class by antonio
225. topology via converging nets by CWoo
226. transposition by drini
227. two isomorphic groups by Wkbj79
228. Tychonoff's theorem implies AC by CWoo
229. types of homomorphisms by rspuzio
230. uncountable Polish spaces contain Cantor space by gel
231. uniqueness of cardinality by mathcam
232. unit of adjunction by CWoo
233. vector by rmilson
234. vector spaces are isomorphic iff their bases are equipollent by CWoo
235. von Neumann-Bernays-G\"odel set theory by Aatu
236. Wagner-Preston representation theorem by Mazzu