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 (49)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'well-defined'
1. $C^*$-algebra homomorphisms preserve continuous functional calculus by asteroid
2. $I$-adic topology by mathcam
3. $L^1(G)$ is a Banach *-algebra by asteroid
4. $L^p$-norm is dual to $L^q$ by gel
5. $p$-adic integers by djao
6. $\mathit{SL}(2,\mathbb{F}_p)$ has no $1$ dimensional irreducible representations over $\mathbb{F}_p$ by alozano
7. $\sigma$-algebra by yark
8. a functor is an equivalence iff it is fully faithful and essentially surjective by CWoo
9. abelian group is divisible if and only if it is an injective object by joking
10. abelian groups form an abelian category, proof that by mps
11. absolute value in a vector lattice by CWoo
12. adjoint by Koro
13. affine geometry by CWoo
14. affine transformation by matte
15. Ahmes' bird-feeding rate method by milogardner
16. algebraic geometry by archibal
17. all orthonormal bases have the same cardinality by asteroid
18. alternative definition of a quasigroup by CWoo
19. alternative definition of Lebesgue integral, an by Gorkem
20. alternative definitions of countable by CWoo
21. analytic set by jirka
22. angle by CWoo
23. any topological space with the fixed point property is connected by yark
24. area of a polygonal region by Mathprof
25. associated bundle construction by rspuzio
26. axiom by rmilson
27. basis-free definition of determinant by mps
28. Boolean operations on automata by CWoo
29. Boolean quotient algebra by CWoo
30. Brouwer degree by jirka
31. calculus of subgroup orders by Algeboy
32. canonical basis for symmetric bilinear forms by Mathprof
33. cardinal arithmetic by yark
34. Cauchy principal part integral by mathcam
35. Cayley-Dickson construction by CWoo
36. characteristic monoid by CWoo
37. characterization of signature of a permutation by rm50
38. circle has one center by Wkbj79
39. classification of covering spaces by Dr_Absentius
40. classification of Hilbert spaces by asteroid
41. coadjoint orbit by bwebste
42. cohomology of compact connected Lie groups by asteroid
43. colorings of plane graphs by marijke
44. completion by djao
45. congruence by mclase
46. congruence on a partial algebra by CWoo
47. congruence relation on an algebraic system by CWoo
48. conjugacy classes in the symmetric group $S_n$ by rm50
49. constructing automata from regular languages by CWoo
50. construction of a Brandt groupoid by CWoo
51. construction of Riemann surface using paths by rspuzio
52. continuous functional calculus by asteroid
53. convergents to a continued fraction by rm50
54. criteria for a poset to be a complete lattice by CWoo
55. criteria for cyclic rings to be isomorphic by Wkbj79
56. cup product by whm22
57. curl by rspuzio
58. cylindroid by PrimeFan
59. decomposition group by djao
60. decomposition of self-adjoint elements in positive and negative parts by asteroid
61. defect theorem by Ziosilvio
62. definite language by CWoo
63. definition by PrimeFan
64. degree mod 2 of a mapping by jirka
65. derivations on a ring of continous functions by joking
66. derivative by rmilson
67. derivatives by pure algebra by Algeboy
68. determinant by rmilson
69. deterministic finite automaton by CWoo
70. differentiation under the integral sign by stevecheng
71. dihedral group properties by Algeboy
72. direct limit of algebraic systems by CWoo
73. direct product of algebras by CWoo
74. direct sum of bounded operators on Hilbert spaces by asteroid
75. distribution by matte
76. domain by CWoo
77. effective equivalence relation by CWoo
78. epi by CWoo
79. equivalent machines by CWoo
80. equivalent norms by matte
81. equivalent statements to statement that sphere is not contractible by joking
82. Euler characteristic by Mathprof
83. every $\sigma$-compact set is Lindel\"of by joen235
84. example of enough injectives by Glotzfrosch
85. example of harmonic functions on graphs by mathcam
86. example of monadic algebra by CWoo
87. example of transcendental number by alozano
88. examples of equalizers by CWoo
89. examples of pullbacks by CWoo
90. existence of Laplace transform by rspuzio
91. expected value by mathwizard
92. extension by localization by pahio
93. extreme value theorem by classicleft
94. filtered algebra by Dr_Absentius
95. first isomorphism theorem by almann
96. formal power series by AxelBoldt
97. Fredholm index by mhale
98. free group by yark
99. free vector space over a set by mathcam
100. Frobenius morphism by alozano
101. functional calculus for Hermitian matrices by mathcam
102. fundamental group by yark
103. fundamental isomorphism theorem for coalgebras by joking
104. Gelfand-Naimark-Segal construction by asteroid
105. generalized Ito formula by gel
106. graph homomorphism by CWoo
107. Green's function by PrimeFan
108. group extension by CWoo
109. groups that act freely on trees are free by mps
110. Hilbert module by mhale
111. homogeneous space by rmilson
112. homotopy groups by bwebste
113. homotopy with a contractible domain by joking
114. if the algebra of functions on a manifold is a Poisson ring then the manifold is symplectic by rspuzio
115. infinite product measure by CWoo
116. intersection structure by CWoo
117. invariant by rmilson
118. invariant by a measure-preserving transformation by asteroid
119. invariant forms on representations of compact groups by bwebste
120. invariant subspace by rmilson
121. inverse image of a morphism by CWoo
122. inverse of composition of functions by Wkbj79
123. isotope of a groupoid by CWoo
124. isotropy representation by rmilson
125. jet bundle by rspuzio
126. Jones Polynomial by Stephaninos
127. kernel of a morphism by CWoo
128. KKM lemma by uriw
129. lattice of ideals by CWoo
130. Lebesgue integral by djao
131. lemma by mathcam
132. Lie superalgebra by bci1
133. local dimension of a locally Euclidean space by joking
134. localization of a module by CWoo
135. locally Euclidean by matte
136. long exact sequence (locally trivial bundle) by bwebste
137. M. H. Stone's representation theorem by rspuzio
138. mathematical platonism by gribskoff
139. mathematics vocabulary by matte
140. Mayer-Vietoris sequence by bwebste
141. mirror image of a knot by Mathprof
142. models constructed from constants by ratboy
143. monodromy by mathcam
144. motion of continuum by perucho
145. Myhill-Nerode theorem by Ziosilvio
146. nowhere differentiable by gel
147. number of unrooted labeled trees by rm50
148. octonion by CWoo
149. orbit-stabilizer theorem by yark
150. orthogonal morphisms by CWoo
151. orthonormal basis by yark
152. p-adic exponential and p-adic logarithm by alozano
153. periodic extension by CWoo
154. permanent by marijke
155. Poisson bracket by rspuzio
156. precategory by CWoo
157. predicativism by gribskoff
158. projective plane by yark
159. proof of Banach-Tarski paradox by GrafZahl
160. proof of Brouwer fixed point theorem by bwebste
161. proof of closed differential forms on a simple connected domain by paolini
162. proof of first isomorphism theorem by uriw
163. proof of fourth isomorphism theorem by aoh45
164. proof of fundamental theorem of Galois theory by pbruin
165. proof of Hausdorff paradox by GrafZahl
166. proof of Hilbert Theorem 90 by mathcam
167. proof of Morera's theorem by Ziosilvio
168. proof of pigeonhole principle by Wkbj79
169. proof of properties of the exponential by rspuzio
170. proof of quotients in $C^*$-algebras by asteroid
171. proof of Radon-Nikodym theorem by Ziosilvio
172. proof of Scott-Wiegold conjecture by whm22
173. proof of the fundamental theorem of calculus by paolini
174. proof that a nontrivial normal subgroup of a finite $p$-group $G$ and the center of $G$ have nontrivial intersection by rm50
175. proof that the compositum of a Galois extension and another extension is Galois by rm50
176. properties for measure by matte
177. properties of a comma category by CWoo
178. properties of bijections by CWoo
179. properties of direct product by CWoo
180. properties of pullback by CWoo
181. properties of well-ordered sets by GrafZahl
182. Q is the prime subfield of any field of characteristic 0, proof that by CWoo
183. quadratic form by CWoo
184. quadratic variation of a semimartingale by gel
185. quantum super-operators by bci1
186. quotient category by CWoo
187. quotient group by azdbacks4234
188. quotient module by rspuzio
189. quotient representations by rm50
190. quotient ring by mathwizard
191. quotients in $C^*$-algebras by asteroid
192. rational transducer by CWoo
193. real number by djao
194. reduced automaton by CWoo
195. regular open algebra by CWoo
196. relation on objects by CWoo
197. relation reduction by Jon Awbrey
198. residuated by CWoo
199. Riemann surface by PrimeFan
200. rigorous definition of tangent function by rspuzio
201. root by mathcam
202. rules of calculus for derivative of formal power series by rspuzio
203. rules of calculus for derivative of polynomial by rspuzio
204. Schreier refinement theorem by yark
205. Schroeder-Bernstein theorem, proof of by mps
206. semi-inner product by asteroid
207. Sikorski's extension theorem by CWoo
208. sines law proof by drini
209. SL(n;R) is connected by Stephaninos
210. slope of a line is well-defined, proof that the by Dr_Absentius
211. snake lemma, proof of by mps
212. Steinberg group by dublisk
213. stochastic integral by gel
214. subalgebra of an algebraic system by CWoo
215. subcoalgebras and coideals by joking
216. subobject by CWoo
217. subset construction by CWoo
218. surjection and axiom of choice by CWoo
219. Sylow theorems, proof of by Henry
220. symmetric difference on a finite number of sets by CWoo
221. tensor product and dual spaces by joking
222. tensor product of dual spaces is a dual space of tensor product by joking
223. the category of T0 Alexandroff spaces is equivalent to the category of posets by joking
224. the characteristic embedding of the Burnside ring by joking
225. the Gr\"ossencharacter associated to a CM elliptic curve by alozano
226. therefore sign by pahio
227. thirteen by PrimeFan
228. tight by mps
229. topic entry on complex analysis by pahio
230. topological lattice by CWoo
231. transpose operator by asteroid
232. Tychonoff's theorem implies AC by CWoo
233. union of countable sets by CWoo
234. universal coefficient theorem by mps
235. variable groupoid by bci1
236. vector spaces are isomorphic iff their bases are equipollent by CWoo
237. weak derivative by paolini
238. Weierstrass sigma function by alozano
239. Weyl group by mathcam