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 'injective function'
1. $p$-adic regulator by mathcam
2. $\operatorname{ker} L=\{0\}$ if and only if $L$ is injective by Mathprof
3. $\Psi$ is surjective if and only if $\Psi^\ast$ is injective by matte
4. 5-lemma by mathcam
5. absolute retract by rspuzio
6. ad\`{e}le by djao
7. affine geometry by CWoo
8. affine transformation by matte
9. algebraic geometry by archibal
10. alternating group has index 2 in the symmetric group, the by yesitis
11. alternative definition of the natural logarithm by CWoo
12. alternative definitions of countable by CWoo
13. an injection between two finite sets of the same cardinality is bijective by alozano
14. another proof of cardinality of the rationals by Mathprof
15. another proof of rank-nullity theorem by CWoo
16. arithmetic by PrimeFan
17. axiom of choice by GrafZahl
18. biholomorphically equivalent by jirka
19. bijection by mathcam
20. Borel G-space by bci1
21. Bourbaki, Nicolas by Daume
22. cardinality by yark
23. category theory by archibal
24. chain by CWoo
25. change of basis by CWoo
26. change of variables in integral on $\mathbb{R}^n$ by stevecheng
27. characterizing CM-fields using Dirichlet's unit theorem by rm50
28. classification of semisimple groups by bwebste
29. coalgebra isomorphisms and isomorphic coalgebras by joking
30. colorings of plane graphs by marijke
31. complete group by CWoo
32. complexification by mathcam
33. conformal radius by jirka
34. construction of a Brandt groupoid by CWoo
35. continuous geometry by CWoo
36. criteria for cyclic rings to be isomorphic by Wkbj79
37. crossing number by bbukh
38. curve by rmilson
39. decomposition of orthogonal operators as rotations and reflections by stevecheng
40. Dedekind-infinite by yark
41. derivation of 2D reflection matrix by stevecheng
42. derived functor by mathcam
43. diagonal embedding by waj
44. dimension theorem for symplectic complement (proof) by matte
45. direct limit of sets by CWoo
46. direct product of modules by Mathprof
47. direct product of partial algebras by CWoo
48. direct sum by antizeus
49. division algebra by Algeboy
50. double dual embedding by rmilson
51. eigenvalue by Koro
52. Elementary Functional Arithmetic by Henry
53. equivalence class of equinumerous sets is not a set by CWoo
54. equivalence of Zorn's lemma and the axiom of choice by Henry
55. equivalent conditions for normality of a field extension by azdbacks4234
56. every locally integrable function is a distribution by matte
57. example of enough injectives by Glotzfrosch
58. example of free module with bases of diffrent cardinality by joking
59. example of functor of points of a scheme by archibal
60. example of injective module by Glotzfrosch
61. examples of countable sets by CWoo
62. examples of epis by CWoo
63. examples of monics by CWoo
64. examples of ramification of archimedean places by alozano
65. extended ideal by drini
66. factorization system by CWoo
67. faithful functor by CWoo
68. faithful group action by rspuzio
69. finite field cannot be algebraically closed by rspuzio
70. free associative algebra by Algeboy
71. free commutative algebra by Algeboy
72. free Lie algebra by Algeboy
73. free objects in concrete categories by joking
74. freely generated inductive set by CWoo
75. full families of Hopfian (co-Hopfian) groups by joking
76. fundamental character of level $n$ for the inertia group at $p$ by alozano
77. graded module by CWoo
78. Gram matrix by lalberti
79. graph homomorphism by CWoo
80. Grothendieck category by bci1
81. gr\"ossencharacter by alozano
82. Hall subgroup by Algeboy
83. hard core by Henry
84. Hartogs number by CWoo
85. hashing by akrowne
86. homogeneous linear problem by rmilson
87. homogeneous space by rmilson
88. homomorphism between algebraic systems by CWoo
89. homomorphisms from fields are either injective or trivial by mathcam
90. homomorphisms of simple groups by rspuzio
91. Hopfian module by CWoo
92. hyperplane arrangement by mps
93. ideal completion of a poset by CWoo
94. id\`{e}le by djao
95. immersion by bshanks
96. ind-variety by benjaminfjones
97. initial topology by kompik
98. injective and surjective morphisms in concrete categories by joking
99. injective hull by mclase
100. injective images of Baire space by gel
101. invariant forms on representations of compact groups by bwebste
102. inverse function by matte
103. Jordan curve theorem by rmilson
104. K\"onig's theorem by yark
105. lattice homomorphism by CWoo
106. lecture notes on polynomial interpolation by rmilson
107. Lie algebra by djao
108. Lie algebra representation by mathcam
109. long exact sequence in cohomology by rm50
110. manifold by matte
111. mapping of period $n$ is a bijection by Koro
112. mathematics vocabulary by matte
113. maximal matching/minimal edge covering theorem by mps
114. monic by rspuzio
115. monomorphisms of category of sets by rspuzio
116. Morita equivalence by CWoo
117. motion of continuum by perucho
118. near operators by mathcam
119. normal bundle by bwebste
120. numeration system by CWoo
121. one-to-one function from onto function by mathcam
122. onto linear transformation, definition of by Mathprof
123. ordering on cardinalities by CWoo
124. orthocomplemented lattice by CWoo
125. orthogonal Latin squares by CWoo
126. orthogonal morphisms by CWoo
127. PA by Henry
128. path by rspuzio
129. Peano curve by stevecheng
130. planar graph by archibal
131. polyadic algebra by CWoo
132. polyadic semigroup by CWoo
133. presheaf of a topological basis by jocaps
134. product of countable sets by CWoo
135. projective line configurations by rspuzio
136. projective plane by yark
137. proof of Banach-Alaoglu theorem by Mathprof
138. proof of 5-lemma by bwebste
139. proof of characterization of perfect fields by mclase
140. proof of convergence condition of infinite product by fernsanz
141. proof of finitely generated torsion-free modules over Pr\"ufer domains by gel
142. proof of first isomorphism theorem by uriw
143. proof of Galois group of the compositum of two Galois extensions by rm50
144. proof of injective images of Baire space by gel
145. proof of Polish spaces up to Borel isomorphism by gel
146. proof of pseudoparadox in measure theory by rspuzio
147. proof of Riemann-Roch theorem by bwebste
148. proof that all cyclic groups of the same order are isomorphic to each other by Wkbj79
149. proof that countable unions are countable by Koro
150. properties of a function by CWoo
151. properties of an affine transformation by CWoo
152. properties of bijections by CWoo
153. properties of functions by yark
154. properties of injective functions by rspuzio
155. properties of ordinals by CWoo
156. Q is the prime subfield of any field of characteristic 0, proof that by CWoo
157. quasi-inverse of a function by CWoo
158. quasisymmetric mapping by jirka
159. ramification of archimedean places by alozano
160. rational numbers are real numbers by matte
161. real tree by GrafZahl
162. rectifiable curve by yark
163. recursively enumerable by ariels
164. resolution of a sheaf by Simone
165. ring homomorphism by djao
166. Schroeder-Bernstein theorem, proof of by mps
167. Schr\"oder-Bernstein theorem by yark
168. self-intersections of a curve by mike
169. sheaf of meromorphic functions by archibal
170. small site on a scheme by rspuzio
171. SNCF metric by GrafZahl
172. some facts about injective and surjective linear maps by joking
173. special elements in a relation algebra by CWoo
174. Sperner's lemma by mathcam
175. statistical model by CWoo
176. Stein manifold by jirka
177. structure homomorphism by almann
178. subdirectly irreducible ring by CWoo
179. subgroups of $S_4$ by rm50
180. subsets of countable sets are countable by beke
181. surjection and axiom of choice by CWoo
182. tacit extension by Jon Awbrey
183. tensor product of dual spaces is a dual space of tensor product by joking
184. the Cartesian product of a finite number of countable sets is countable by BenB
185. topic entry on topology by rm50
186. topological condition for a set to be uncountable by mps
187. topological embedding by kompik
188. transversals / lifts / sifts by Algeboy
189. types of homomorphisms by rspuzio
190. uncountable Polish spaces contain Cantor space by gel
191. uniqueness of cardinality by mathcam
192. univalent analytic function by jirka
193. universal enveloping algebra by draisma
194. Van Kampen's theorem by RonaldBrown
195. vector spaces are isomorphic iff their bases are equipollent by CWoo
196. very ample by Mathprof
197. Weyl algebra by GrafZahl
198. Yoneda lemma by rspuzio