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 'open set'
1. $C^n$ by drini
2. $C^\infty_0(U)$ is not empty by matte
3. $G_\delta$ set by rspuzio
4. $T4$ space by matte
5. $Y$ is compact if and only if every open cover of $Y$ has a finite subcover by mathcam
6. $\mathbb{R}^2 \setminus C$ is path connected if $C$ is countable by silverfish
7. $\operatorname{arc tan}$ with two arguments by matte
8. $\sigma$-algebra by yark
9. $\sigma$-algebra generated by a random variable by PrimeFan
10. a compact set in a Hausdorff space is closed by mathcam
11. a space $\mathnormal{X}$ is Hausdorff if and only if $\Delta(X)$ is closed by mathcam
12. a space is compact iff any family of closed sets having fip has non-empty intersection by CWoo
13. a space is connected under the ordered topology if and only if it is a linear continuum. by dfeuer
14. a space is T1 if and only if every singleton is closed by waj
15. a space is T1 if and only if every subset A is the intersection of all open sets containing A by waj
16. absolute convergence implies uniform convergence by rspuzio
17. accumulation points and convergent subnets by azdbacks4234
18. adherent point by mathcam
19. affine variety by mathcam
20. Alexandroff space by joking
21. Alexandroff space is T1 if and only if it is discrete by joking
22. Alexandrov one-point compactification by yark
23. algebraic geometry by archibal
24. Algebraic K-theory by mhale
25. alternate characterization of curl by stevecheng
26. alternative characterizations of Noetherian topological spaces by yark
27. alternative characterizations of Noetherian topological spaces, proof of by yark
28. analytic continuation by rspuzio
29. analytic continuation by power series by rspuzio
30. analytic polyhedron by jirka
31. analytic set by jirka
32. analytic set by gel
33. analytic space by jirka
34. antiderivative by asteroid
35. antiderivative of complex function by Wkbj79
36. any topological space with the fixed point property is connected by yark
37. applications of Urysohn's Lemma to locally compact Hausdorff spaces by azdbacks4234
38. Baire category theorem by Koro
39. ball by CWoo
40. Banach space valued analytic functions by asteroid
41. basic results in topological groups by asteroid
42. basis (topology) by rspuzio
43. bifurcation by CWoo
44. Borel $\sigma$-algebra by djao
45. Borel-Bott-Weil theorem by mathcam
46. boundary of a closed set is nowhere dense by neapol1s
47. boundary of an open set is nowhere dense by CWoo
48. bounded inverse theorem by asteroid
49. box topology by yark
50. Brouwerian lattice by CWoo
51. BV function by paolini
52. Cantor set by yark
53. Cartier divisor by mathcam
54. category theory by archibal
55. Cauchy-Riemann equations by rmilson
56. Cauchy-Riemann equations (polar coordinates) by Daume
57. chain rule by matte
58. chain rule (several variables) by rmilson
59. change of variables in integral on $\mathbb{R}^n$ by stevecheng
60. chaotic dynamical system by bshanks
61. characterization of $T2$ spaces by matte
62. characterization of Alexandroff groups by joking
63. characterization of maximal ideals of the algebra of continuous functions on a compact set by rspuzio
64. characterization of subspace topology by mps
65. class by yark
66. classical Stokes' theorem by stevecheng
67. clopen subset by mathcam
68. closed complex plane by pahio
69. closed differential forms on a simply connected domain by paolini
70. closed Hausdorff neighbourhoods, a theorem on by yark
71. closed set by yark
72. closed set in a compact space is compact by mathcam
73. closed set in a subspace by yark
74. closure and interior of Cantor set by rspuzio
75. closure properties of Cauchy-Riemann equations by rspuzio
76. closure space by CWoo
77. coherent analytic sheaf by jirka
78. coherent sheaf by PrimeFan
79. collectionwise normal by mathcam
80. commuting vector fields by matte
81. compact by djao
82. compact subspace of a Hausdorff space is closed by ehremo
83. compact-open topology by antonio
84. compactly supported continuous functions are dense in $L^p$ by asteroid
85. compactness and accumulation points of nets by azdbacks4234
86. compactness is preserved under a continuous map by yark
87. comparison between Lebesgue and Riemann Integration by Mathprof
88. completely normal by Mathprof
89. complex analytic manifold by jirka
90. composition of continuous mappings is continuous by mathcam
91. condensation point by sauravbhaumik
92. conditions for a collection of subsets to be a basis for some topology by waj
93. cone by matte
94. connected im kleinen by Mathprof
95. connected set in a topological space by ack
96. connected space by mathcam
97. connected topological group is generated by any neighborhood of identity by asteroid
98. connectedness is preserved under a continuous map by drini
99. connection by rspuzio
100. continuity and convergent nets by azdbacks4234
101. continuity is preserved when codomain is extended by matte
102. continuity of convex functions by pbruin
103. continuous by djao
104. continuous almost everywhere versus equal to a continuous function almost everywhere by Wkbj79
105. continuous image of a compact set is compact by Wkbj79
106. continuous relation by CWoo
107. converse of Darboux's theorem (analysis) is not true by Gorkem
108. converse to Taylor's theorem by jirka
109. convex hull of $S$ is open if $S$ is open by drini
110. cotangent bundle by rspuzio
111. countable complement topology by mathcam
112. countable unions and intersections of analytic sets are analytic by gel
113. cover by mps
114. covering space by rmilson
115. CW complex by antonio
116. delta distribution by matte
117. dense ring of linear transformations by CWoo
118. dense set by yark
119. derivation of properties of regular open set by CWoo
120. derivation of properties on interior operation by CWoo
121. derivative by rmilson
122. derivative of inverse matrix by matte
123. derivative of matrix by matte
124. derivative of Riemann integral by PrimeFan
125. derivatives of solution of first order ODE by pahio
126. development by mathcam
127. differential geometry by rspuzio
128. differentiation under the integral sign by stevecheng
129. dimension by bbukh
130. direct image by nerdy2
131. directional derivative by matte
132. discontinuous by mathwizard
133. discrete space by mathcam
134. disjoint union by yark
135. distribution by matte
136. domain by drini
137. domain of holomorphy by jirka
138. Donaldson Freedman exotic R4 by whm22
139. dynamical system by PrimeFan
140. envelope by pahio
141. Euler-Lagrange differential equation (advanced) by rspuzio
142. eventual property by CWoo
143. every $\sigma$-compact set is Lindel\"of by joen235
144. every locally integrable function is a distribution by matte
145. every second countable space is separable by drini
146. example of a connected space that is not path-connected by yark
147. example of an Alexandroff space which cannot be turned into a topological group by joking
148. examples of fields by AxelBoldt
149. examples of initial objects and terminal objects and zero objects by AxelBoldt
150. examples of locally compact and not locally compact spaces by AxelBoldt
151. examples of metric spaces by matte
152. examples of ring of sets by rspuzio
153. exhaustion by compact sets by matte
154. existence and uniqueness of solution of ordinary differential equations by Daume
155. exotic R4's by whm22
156. extremally disconnected by PrimeFan
157. face of a convex set by CWoo
158. failure of Hartogs' theorem in one dimension by jirka
159. field is discrete and cocompact in its ad\`{e}les by rm50
160. finite complement topology by mathcam
161. first countable by Evandar
162. Fredholm operator by mhale
163. Fuchsian singularity by rspuzio
164. fundamental lemma of calculus of variations by matte
165. F\"urstenberg's proof of the infinitude of primes by mathcam
166. Galois connection by CWoo
167. Gauss Green theorem by paolini
168. generalizations of the Leibniz rule by GeraW
169. generalized intermediate value theorem by azdbacks4234
170. generalized Ito formula by gel
171. generalized Van Kampen theorems (HD-VKT), higher dimensional by bci1
172. generic manifold by jirka
173. global characterization of hypergeometric function by rspuzio
174. gluing together continuous functions by yark
175. Haar measure by djao
176. Hamilton equations by CWoo
177. harmonic conjugate function by pahio
178. Hartman-Grobman theorem by Koro
179. Hartogs extension theorem by jirka
180. Hartogs functions by jirka
181. Hartogs' theorem by mathcam
182. Hausdorff space by yark
183. Hausdorff space not completely Hausdorff by drini
184. hemimetric by Koro
185. Hessian matrix by cvalente
186. How are normal and T4 spaces defined in books? by Mathprof
187. hyperconnected space by yark
188. hypoelliptic by jirka
189. identification topology by rspuzio
190. If $f\colon X\to Y$ is continuous then $f\colon X\to f(X)$ is continuous by matte
191. implicit function theorem by azdbacks4234
192. induced Alexandroff topology on a poset by joking
193. induced partial order on an Alexandroff space by joking
194. infinite Galois theory by djao
195. injective map between real numbers is a homeomorphism by joking
196. interior by yark
197. intersection of complex analytic varieties is a complex analytic variety by jirka
198. intervals are connected by joking
199. intuitionistic logic by gribskoff
200. invariance of dimension by Koro
201. inverse function theorem by azdbacks4234
202. irreducible component by jirka
203. irrotational field by mathcam
204. isolated by djao
205. isolated singularity by bwebste
206. Ito's lemma by gel
207. jet bundle by rspuzio
208. Julia set by rspuzio
209. K-theory by mhale
210. ladder connected by mathcam
211. Lagrange multipliers on manifolds by stevecheng
212. lamellar field by pahio
213. Laplacian by matte
214. Lebesgue measure by bbukh
215. Levi-Civita permutation symbol by matte
216. limit point by mathcam
217. limit points and closure for connected sets by matte
218. limit points of sequences by rspuzio
219. line segment by matte
220. Lipschitz condition and differentiability result by paolini
221. Lipschitz inverse mapping theorem by Koro
222. local homeomorphism by joking
223. locale by CWoo
224. localization for distributions by drini
225. locally compact by djao
226. locally compact Hausdorff spaces by bci1
227. locally Euclidean by matte
228. locally integrable function by matte
229. logical implication by Jon Awbrey
230. long line by Dr_Absentius
231. Lusternik-Schnirelmann category by juanman
232. M. H. Stone's representation theorem by rspuzio
233. manifold by matte
234. meager by Koro
235. measurable function by CWoo
236. metric space by djao
237. metric spaces are Hausdorff by waj
238. Mittag-Leffler's theorem by Koro
239. Morse function by bwebste
240. multiplicity by pahio
241. natural boundary by rspuzio
242. neighborhood by djao
243. neighborhood retract by rspuzio
244. net by yark
245. Niemytzki plane by PrimeFan
246. noncommutative topology by asteroid
247. normal by Koro
248. notes on the classical definition of a manifold by rmilson
249. omega limit set by mathcam
250. open mapping by Koro
251. open set in $\mathbb{R}^n$ contains an open rectangle by matte
252. OpenPFGW by PrimeFan
253. orbifold by guffin
254. order topology by rspuzio
255. ordered space by CWoo
256. ordinal space by CWoo
257. orientation by PrimeFan
258. paracompact topological space by mathcam
259. partial derivative by Mathprof
260. partial ordering in a topological space by CWoo
261. partition of unity by mhale
262. persistence of analytic relations by rspuzio
263. Picard's theorem by Daume
264. Poincare-Bendixson theorem by jarino
265. point and a compact set in a Hausdorff space have disjoint open neighborhoods. by drini
266. presheaf by nerdy2
267. presheaf of a topological basis by jocaps
268. prime spectrum by CWoo
269. product topology by CWoo
270. product topology preserves the Hausdorff property by archibal
271. projective variety by mathcam
272. proof of Baire category theorem by rmilson
273. proof of characterization of connected compact metric spaces. by paolini
274. proof of composition limit law for uniform convergence by stevecheng
275. proof of Darboux's theorem (symplectic geometry) by rspuzio
276. proof of Dini's theorem by mathcam
277. proof of exhaustion by compact sets for $\mathbb{R}^n$ by cvalente
278. proof of general Stokes theorem by paolini
279. proof of Heine-Borel theorem by stevecheng
280. proof of identity theorem of holomorphic functions by rspuzio
281. proof of implicit function theorem by paolini
282. proof of injective images of Baire space by gel
283. proof of invariance of dimension by Algeboy
284. proof of inverse function theorem (topological spaces) by paolini
285. proof of open mapping theorem by Statusx
286. proof of Poincar\'e recurrence theorem 2 by Koro
287. proof of properties of the closure operator by archibal
288. proof of Riemann mapping theorem by rspuzio
289. proof of Schauder fixed point theorem by asteroid
290. proof of spaces homeomorphic to Baire space by gel
291. proof of Stone-Weierstrass theorem by rspuzio
292. proof of the uniformization theorem by Simone
293. proof of Tychonoff's theorem in finite case by stevecheng
294. proof of Urysohn's lemma by scanez
295. proof that a compact set in a Hausdorff space is closed by yark
296. proof that a path connected space is connected by n3o
297. proof that components of open sets in a locally connected space are open by Mathprof
298. proof that products of connected spaces are connected by yark
299. proof that the convex hull of $S$ is open if $S$ is open by archibal
300. proper subspaces of a topological vector space have empty interior by asteroid
301. pseudocomplement by CWoo
302. pullback of a $k$-form by bwebste
303. quasicomponent by Evandar
304. quasiconformal mapping by jirka
305. quotient space by djao
306. Radon measure by ptr
307. ray by CWoo
308. real analytic subvariety by jirka
309. rectification theorem by Daume
310. region by Wkbj79
311. regular measure by bci1
312. regular open algebra by CWoo
313. regular open set by CWoo
314. regular space by drini
315. regularity theorem for the Laplace equation by rspuzio
316. regularly open by drini
317. Reinhardt domain by jirka
318. Rellich selection theorem by rspuzio
319. residual by mps
320. resolvent function is analytic by asteroid
321. restricted direct product by djao
322. restriction of a continuous mapping is continuous by matte
323. Riemann surface by PrimeFan
324. Riemann's removable singularity theorem in several variables by jirka
325. Riemannian manifold by djao
326. Runge's theorem by Koro
327. Russell's theory of types by Aatu
328. Sard's theorem by Mathprof
329. scattered space by CWoo
330. scheme by djao
331. Schwarz reflection principle by jirka
332. Scott continuous by CWoo
333. Scott topology by CWoo
334. second form of Cauchy integral theorem by pahio
335. section of a fiber bundle by antonio
336. semialgebraic set by jirka
337. semicontinuous by bwebste
338. separable space by yark
339. separation axioms by Koro
340. series inversion by stevecheng
341. sheaf by djao
342. sheaf of meromorphic functions by archibal
343. sheaf of sections by guffin
344. sheafification by djao
345. Sierpinski space by CWoo
346. site by mathcam
347. small site on a scheme by rspuzio
348. smooth functions with compact support by matte
349. Sobolev inequality by paolini
350. Sobolev space by paolini
351. solution of the Levi problem by jirka
352. some properties of uncountable subsets of the real numbers by sauravbhaumik
353. something related to Alexandrov one-point compactification by adrianita
354. spaces homeomorphic to Baire space by gel
355. spectral space by jocaps
356. stable manifold theorem by jarino
357. stalk by djao
358. structure sheaf by djao
359. subgroup of topological group is either clopen or has empty interior by asteroid
360. submanifold by jirka
361. subsheaf of abelian groups by jirka
362. subspace of a subspace by matte
363. subspace topology by djao
364. surjective open maps in terms of nets by asteroid
365. t-cat by juanman
366. T0 space by yark
367. T1 space by drini
368. T3 space by yark
369. tangent map by matte
370. tangential Cauchy-Riemann complex of smooth forms by bci1
371. Taylor series by stevecheng
372. Taylor's formula in Banach spaces by stevecheng
373. the continuous image of a compact space is compact by cvalente
374. The property that compact sets in a space are closed lies strictly between T1 and T2 by dfeuer
375. Thom isomorphism theorem by antonio
376. topic entry on complex analysis by pahio
377. topic entry on topology by rm50
378. topological condition for a set to be uncountable by mps
379. topological lattice by CWoo
380. topological proof of the Cayley-Hamilton theorem by rmilson
381. topological sum by rspuzio
382. topologically transitive by Koro
383. topology induced by uniform structure by Mathprof
384. tube domain by jirka
385. tube lemma by asteroid
386. tubular neighborhood by PrimeFan
387. Tychonoff's theorem implies AC by CWoo
388. types of limit points by mathcam
389. univalent analytic function by jirka
390. Urysohn's lemma by yark
391. Van Kampen's theorem result by mathcam
392. variable topology by bci1
393. vector bundle by rspuzio
394. vector field by mathcam
395. visualizing maximal elements by stevecheng
396. way below by CWoo
397. weak derivative by paolini
398. weakly holomorphic by jirka
399. zero as contour integral by rspuzio
400. \'Etal\'e space by guffin