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

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'compact'
1. $C^n$ norm by rspuzio
2. $C^\infty_0(U)$ is not empty by matte
3. $T_f$ is a distribution of zeroth order by Koro
4. $Y$ is compact if and only if every open cover of $Y$ has a finite subcover by mathcam
5. $\mathcal{C}^r$ topologies by Koro
6. $\operatorname{p.\!v.}(\frac{1}{x})$ is a distribution of first order by Koro
7. $\sigma$-algebra by yark
8. $\sigma$-compact by Koro
9. a compact metric space is second countable by azdbacks4234
10. a compact set in a Hausdorff space is closed by mathcam
11. a space is compact iff any family of closed sets having fip has non-empty intersection by CWoo
12. absolute convergence implies uniform convergence by rspuzio
13. ad\`{e}le by djao
14. Alexandrov one-point compactification by yark
15. algebraic lattice by CWoo
16. algebras by Algeboy
17. amenable group by mhale
18. an integrable function that does not tend to zero by silverfish
19. analytic continuation of Riemann zeta (using integral) by rspuzio
20. analytic polyhedron by jirka
21. analytic set by gel
22. Anosov diffeomorphism by Koro
23. another proof of Dini's theorem by gumau
24. applications of Urysohn's Lemma to locally compact Hausdorff spaces by azdbacks4234
25. Ascoli-Arzel\`a theorem by paolini
26. axiom of dependent choices by CWoo
27. Banach space by bbukh
28. Banach-Alaoglu theorem by Koro
29. Baouendi-Treves approximation theorem by jirka
30. Barnsley fern by paolini
31. basic results in topological groups by asteroid
32. Bergman kernel by jirka
33. Bergman space by jirka
34. best approximation by asteroid
35. Blaschke product by jirka
36. Bolzano-Weierstrass theorem by yark
37. Boolean prime ideal theorem by CWoo
38. Borel measure by asteroid
39. Brunn-Minkowski inequality by bbukh
40. Cantor's Intersection Theorem by paolini
41. characterization of connected compact metric spaces. by gumau
42. characterization of maximal ideals of the algebra of continuous functions on a compact set by rspuzio
43. class function by djao
44. classical Stokes' theorem by stevecheng
45. closed set in a compact space is compact by mathcam
46. closed subsets of a compact set are compact by Wkbj79
47. coercive function by paolini
48. cofinite and cocountable topologies by yark
49. cohomology of compact connected Lie groups by asteroid
50. common Fourier series by stevecheng
51. compact element by CWoo
52. compact groups are unimodular by asteroid
53. compact Hausdorff space is extremally disconnected if its function algebra is a bounded complete lattice by asteroid
54. compact pavings are closed subsets of a compact space by gel
55. compact subspace of a Hausdorff space is closed by ehremo
56. compact-open topology by antonio
57. compactification by Evandar
58. compactly supported continuous functions are dense in $L^p$ by asteroid
59. compactness and accumulation points of nets by azdbacks4234
60. compactness is preserved under a continuous map by yark
61. composition with coercive function by matte
62. continuous epimorphism of compact groups preserves Haar measure by asteroid
63. continuous functions of several variables are Riemann summable by paolini
64. continuous image of a compact set is compact by Wkbj79
65. continuous poset by CWoo
66. continuous proper map by CWoo
67. continuum by Mathprof
68. convergence in probability is preserved under continuous transformations by stevecheng
69. convex set by drini
70. corollary of Banach-Alaoglu theorem by karstenb
71. countably compact by Evandar
72. definite integral by mathwizard
73. definitions in trigonometry by Daume
74. delta distribution by matte
75. dense ring of linear transformations by CWoo
76. derivation of Euler-Lagrange differential equation (advanced) by rspuzio
77. derivation of Euler-Lagrange differential equation (elementary) by rspuzio
78. Diederich-Fornaess theorem by jirka
79. differentiation under the integral sign by stevecheng
80. Dini's theorem by drini
81. distribution by matte
82. divergence by rmilson
83. Donaldson Freedman exotic R4 by whm22
84. Dusa McDuff by Mravinci
85. elliptic function by alozano
86. equivalent definitions of analytic sets by gel
87. Euler-Lagrange differential equation (advanced) by rspuzio
88. every $\sigma$-compact set is Lindel\"of by joen235
89. example of a connected space that is not path-connected by yark
90. example of Aronszajn tree by Henry
91. example of continuous bijections which are not homeomorphisms by joking
92. example of Dirac sequence by Johan
93. examples of compact spaces by yark
94. examples of locally compact and not locally compact spaces by AxelBoldt
95. examples of symplectic manifolds by mathcam
96. exhaustion by compact sets by matte
97. existence and uniqueness of solution to Cauchy problem by ehremo
98. existence of power series by rmilson
99. extended real numbers by matte
100. face of a convex set by CWoo
101. Feynman-Kac formula by stevecheng
102. field is discrete and cocompact in its ad\`{e}les by rm50
103. finite complement topology by mathcam
104. finite intersection property by azdbacks4234
105. finite limit implying uniform continuity by pahio
106. finite rank approximation on separable Hilbert spaces by karstenb
107. finite variation process by gel
108. fixed-point subspace by mathcam
109. Fubini's theorem by mathcam
110. Gauss Green theorem by paolini
111. Gelfand-Naimark theorem by mhale
112. general Stokes theorem by matte
113. geometric lattice by CWoo
114. groupoid and group representations related to quantum symmetries by bci1
115. groupoid C*-convolution algebras by bci1
116. groupoid representation theorem by bci1
117. Haar measure by djao
118. Hahn-Banach theorem (geometric form) by azdbacks4234
119. hairy ball theorem by rspuzio
120. Hartogs functions by jirka
121. Hartogs' theorem by mathcam
122. Hecke algebra by olivierfouquetx
123. Heine-Borel theorem by Evandar
124. Heine-Cantor theorem by n3o
125. Hilbert parallelotope by rspuzio
126. Hilbert-Weyl theorem by mathcam
127. holomorphically convex by jirka
128. homology of the sphere by mathcam
129. homology sphere by bwebste
130. Hurwitz's theorem by jirka
131. hyperk\"ahler manifold by tiphareth
132. hyperplane separation by stevecheng
133. ideal completion of a poset by CWoo
134. id\`{e}le by djao
135. improper integral by paolini
136. index of properties of topological spaces by rspuzio
137. infinite Galois theory by djao
138. invariant forms on representations of compact groups by bwebste
139. invariant polynomial by Daume
140. inverse function theorem (topological spaces) by mathcam
141. irreducible unitary representations of compact groups are finite-dimensional by asteroid
142. Jacobi $\vartheta$ functions by rspuzio
143. Jordan-Banach and Jordan-Lie algebras by bci1
144. Koebe distortion theorem by jirka
145. Krylov-Bogolubov theorem by Koro
146. Kupka-Smale theorem by Koro
147. Lebesgue number lemma by djao
148. limit laws for uniform convergence by stevecheng
149. Lindel\"of space by yark
150. linear continuum by azdbacks4234
151. Lipschitz condition and differentiability by Mathprof
152. localization for distributions by drini
153. locally compact by djao
154. locally integrable function by matte
155. long line by Dr_Absentius
156. loop space by mathcam
157. M. H. Stone's representation theorem by rspuzio
158. Markov Kakutani fixed point theorem by asteroid
159. Marty's theorem by jirka
160. maximal ideals of the algebra of continuous functions on a compact set by asteroid
161. maximum principle by mathcam
162. Mergelyan's theorem by jirka
163. Montel's theorem by jirka
164. Morse homology by PrimeFan
165. Moser's theorem by bwebste
166. motion of continuum by perucho
167. mountain pass theorem by ncrom
168. multiplication by PrimeFan
169. multiplicative linear functional by asteroid
170. Nash isometric embedding theorem by Simone
171. nested interval theorem by pahio
172. net by yark
173. no-cycles condition by Koro
174. noncommutative topology by asteroid
175. nonempty perfect subset of $\mathbb{R}$ that contains no rational number, a by Gorkem
176. nonwandering set by Koro
177. normal family by jirka
178. ordinal space by CWoo
179. orientation by PrimeFan
180. paracompact topological space by mathcam
181. paved space by gel
182. Poincare-Bendixson theorem by jarino
183. Poincar\'e conjecture by yark
184. Poincar\'e formula by CWoo
185. point and a compact set in a Hausdorff space have disjoint open neighborhoods. by drini
186. polynomial function is a proper map by joking
187. polynomially convex hull by jirka
188. polyrectangle by paolini
189. Pontryagin duality by asteroid
190. precompact set by matte
191. prime spectrum by CWoo
192. product topology by CWoo
193. profinite group by djao
194. proof of Banach-Alaoglu theorem by Mathprof
195. proof of basis of ideal in algebraic number field by lalberti
196. proof of Bolzano's theorem by cvalente
197. proof of Cauchy integral formula by rmilson
198. proof of characterization of connected compact metric spaces. by paolini
199. proof of closed differential forms on a simple connected domain by paolini
200. proof of completeness under ucp convergence by gel
201. proof of composition limit law for uniform convergence by stevecheng
202. proof of convergence theorem by matte
203. proof of Dini's theorem by mathcam
204. proof of equivalent definitions of analytic sets for paved spaces by gel
205. proof of exhaustion by compact sets for $\mathbb{R}^n$ by cvalente
206. proof of general Stokes theorem by paolini
207. proof of Hartogs' theorem by jirka
208. proof of Heine-Borel theorem by stevecheng
209. proof of Heine-Cantor theorem by drini
210. proof of Heine-Cantor theorem by paolini
211. proof of inverse function theorem (topological spaces) by paolini
212. proof of Krein-Milman theorem by georgiosl
213. proof of least and greatest value of function by cvalente
214. proof of Minkowski's theorem by rm50
215. proof of radius of convergence of a complex function by rspuzio
216. proof of Riemann mapping theorem by rspuzio
217. proof of Ruffa's formula for continuous functions by rspuzio
218. proof of Schauder fixed point theorem by asteroid
219. proof of Stone-Weierstrass theorem by rspuzio
220. proof of the fundamental theorem of algebra (Liouville's theorem) by Evandar
221. proof of the uniformization theorem by Simone
222. proof of Tychonoff's theorem by asteroid
223. proof of Tychonoff's theorem in finite case by stevecheng
224. proof of weak maximum principle for real domains by rspuzio
225. proof of Weierstrass approximation theorem by rspuzio
226. proof of Weierstrass approximation theorem in R^n by rspuzio
227. proof that a compact set in a Hausdorff space is closed by yark
228. proof that a metric space is compact if and only if it is complete and totally bounded by rm50
229. proper map by matte
230. properties of compact spaces by rspuzio
231. pseudocompact space by yark
232. Pugh's closing lemma by Koro
233. quasi-compact by Wkbj79
234. R-algebroid by bci1
235. Radon measure by ptr
236. Rayleigh quotient by alozano
237. recurrent point by Koro
238. regular measure by bci1
239. relationship among different kinds of compactness by rm50
240. removable singularity by rmilson
241. representation theorem for compact metric spaces by matte
242. representations of compact groups are equivalent to unitary representations by asteroid
243. restricted direct product by djao
244. Riemann multiple integral by paolini
245. Riesz representation theorem (of linear functionals on function spaces) by asteroid
246. ring of continuous functions by CWoo
247. Runge's theorem by Koro
248. Schauder fixed point theorem by paolini
249. schlicht functions by jirka
250. Schwarz (1975) theorem by mathcam
251. Schwarz reflection principle by jirka
252. scientific notation by PrimeFan
253. self-similar fractals by paolini
254. sequentially compact by mps
255. sinc is $L^2$ by cvalente
256. sinc is not $L^1$ by cvalente
257. smooth functions with compact support by matte
258. something related to Alexandrov one-point compactification by adrianita
259. space of analytic functions by jirka
260. space of rapidly decreasing functions by matte
261. spectral measure by asteroid
262. spectral space by jocaps
263. spectral theorem by asteroid
264. spectrum is a non-empty compact set by asteroid
265. sphere theorem from global differential geometry by juanman
266. square-free sequence by akrowne
267. state space is non-empty by asteroid
268. Stein manifold by jirka
269. Stone space by CWoo
270. Stone-Weierstrass theorem by rspuzio
271. Stone-Weierstrass theorem (complex version) by asteroid
272. Stone-\v{C}ech compactification by rspuzio
273. structural stability by Koro
274. subcategory by CWoo
275. summation by drini
276. supersymmetry by bci1
277. Susan Howson by Mravinci
278. the continuous image of a compact space is compact by cvalente
279. the only compact metric spaces that admit a positively expansive homeomorphism are discrete spaces by Koro
280. The property that compact sets in a space are closed lies strictly between T1 and T2 by dfeuer
281. the topologist's sine curve has the fixed point property by Mathprof
282. theorem about continuous convergence by gumau
283. Thom space by antonio
284. tight and relatively compact measures by fernsanz
285. topological condition for a set to be uncountable by mps
286. topological invariant by bwebste
287. topologically transitive by Koro
288. totally bounded uniform space by CWoo
289. tube lemma by asteroid
290. Tychonoff fixed point theorem by paolini
291. Tychonoff's theorem by matte
292. Tychonoff's theorem implies AC by CWoo
293. ucp convergence of processes by gel
294. ultranet by asteroid
295. Uniform Algebra by karstenb
296. uniform expansivity by Koro
297. uniformly continuous by n3o
298. universal nets in compact spaces are convergent by asteroid
299. vanish at infinity by asteroid
300. way below by CWoo
301. weak derivative by paolini
302. weak-* topology by jirka
303. weakly countably compact by yark
304. Weierstrass approximation theorem by Tobi
305. Weierstrass factorization theorem by jirka