(more info)
Math for the people, by the people.
donor list
-
find out how
Encyclopedia
|
Requests
|
Forums
|
Docs
|
Wiki |
Random
|
RSS
Advanced search
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 'infinite'
1.
$C^n$ norm
by
rspuzio
2.
a harmonic function on a graph which is bounded below and nonconstant
by
drini
3.
abelian group is divisible if and only if it is an injective object
by
joking
4.
abstract family of languages
by
CWoo
5.
adding and removing parentheses in series
by
pahio
6.
addition chain
by
PrimeFan
7.
additively indecomposable
by
mathcam
8.
affine combination
by
CWoo
9.
aleph numbers
by
yark
10.
algebraic categories without free objects
by
Algeboy
11.
Algebraic K-theory
by
mhale
12.
algebraic number theory
by
alozano
13.
algorithm
by
jk81
14.
all bases for a vector space have the same cardinality
by
CWoo
15.
all orthonormal bases have the same cardinality
by
asteroid
16.
alternate statement of Bolzano-Weierstrass theorem
by
mathcam
17.
alternating harmonic series
by
CWoo
18.
alternating series test
by
Koro
19.
alternative characterizations of Noetherian topological spaces, proof of
by
yark
20.
alternative definition of cardinality
by
CWoo
21.
alternative definitions of countable
by
CWoo
22.
an outline of Hilbert's programme
by
gribskoff
23.
angle between two lines
by
pahio
24.
antiderivative
by
asteroid
25.
Archimedes' calculus
by
milogardner
26.
ascending chain condition
by
antizeus
27.
axiom
by
rmilson
28.
axiom of choice
by
GrafZahl
29.
axiom of countable choice
by
yark
30.
axiom of foundation
by
Henry
31.
axiom of infinity
by
Sabean
32.
axiomatizable class
by
CWoo
33.
Baer-Specker group
by
CWoo
34.
Banach spaces of infinite dimension do not have a countable Hamel basis
by
yark
35.
Basel problem
by
PrimeFan
36.
Basel problem derivation
by
curious
37.
behavior
by
Wkbj79
38.
behavior exists uniquely (infinite case)
by
Wkbj79
39.
Berlekamp-Massey algorithm
by
mathcam
40.
beth numbers
by
yark
41.
beyond formalism: G\"{o}del's incompleteness
by
gribskoff
42.
branch
by
Henry
43.
calculus of subgroup orders
by
Algeboy
44.
Cantor space
by
mathcam
45.
Cantor's diagonal argument
by
rmilson
46.
Cantor's paradox
by
Henry
47.
cardinal arithmetic
by
yark
48.
cardinal exponentiation under GCH
by
yark
49.
cardinality
by
yark
50.
cardinality of monomials
by
rspuzio
51.
category theory
by
archibal
52.
Cauchy's root test
by
Mathprof
53.
Cayley's parameterization of orthogonal matrices
by
rspuzio
54.
Ces\`aro summability
by
rmilson
55.
chain finite
by
lars_h
56.
characterization of convergence of sequences in metric spaces
by
gumau
57.
circulation and vorticity
by
perucho
58.
class number divisibility in $p$-extensions
by
alozano
59.
classification of indecomposable root systems
by
rmilson
60.
closed complex plane
by
pahio
61.
cofinality
by
yark
62.
colorings of plane graphs
by
marijke
63.
common knowledge
by
mathcam
64.
comparison of common geometries
by
Wkbj79
65.
complete distributivity
by
CWoo
66.
complete lattice
by
yark
67.
complete ultrafilter and partitions
by
yesitis
68.
completeness principle
by
mathcam
69.
complex tangent and cotangent
by
pahio
70.
composition algebras over $\mathbb{Q}$
by
Algeboy
71.
consequence operator
by
rspuzio
72.
constructing well ordered sets
by
CWoo
73.
continued fraction
by
PrimeFan
74.
continuous geometry
by
CWoo
75.
countable algebraic sets
by
rspuzio
76.
countable basis
by
djao
77.
countable complement topology
by
mathcam
78.
countably infinite
by
vampyr
79.
counterexamples for products and coproduct
by
Algeboy
80.
creating an infinite model
by
CWoo
81.
criteria for cyclic rings to be isomorphic
by
Wkbj79
82.
criterion for cyclic rings to be principal ideal rings
by
Wkbj79
83.
cyclic group
by
yark
84.
cyclic rings and zero rings
by
Wkbj79
85.
cyclic rings that are isomorphic to $k\mathbb{Z}$
by
Wkbj79
86.
cyclic semigroup
by
mclase
87.
Dedekind-finite
by
CWoo
88.
Dedekind-infinite
by
yark
89.
descending chain condition
by
antizeus
90.
deterministic Turing machine
by
Henry
91.
diameter
by
drini
92.
diameter
by
marijke
93.
diamond lemma
by
CWoo
94.
differential operator
by
rmilson
95.
Dilworth's theorem
by
CWoo
96.
dimension formulae for vector spaces
by
yark
97.
discrete space
by
mathcam
98.
discrete time Fourier transform in relation with continuous time Fourier transform
by
fernsanz
99.
distribution
by
matte
100.
dual space
by
Daume
101.
Dynkin diagram
by
bwebste
102.
Egyptian fraction
by
milogardner
103.
eigenvalue
by
Koro
104.
eigenvalue problem
by
archibal
105.
elementary abelian group
by
yark
106.
elementary proof of orders
by
Algeboy
107.
elementary symmetric polynomial in terms of power sums
by
rspuzio
108.
enumerating algebras
by
Algeboy
109.
Erd\H{o}s-Anning Theorem
by
giri
110.
Euler-Gompertz constant
by
PrimeFan
111.
every filter is contained in an ultrafilter
by
rspuzio
112.
every finite dimensional subspace of a normed space is closed
by
Mathprof
113.
every normed space with Schauder basis is separable
by
asteroid
114.
every orthonormal set is linearly independent
by
mathcam
115.
every vector space has a basis
by
GrafZahl
116.
example of Fermat's last theorem
by
Thomas Heye
117.
example of free module with bases of diffrent cardinality
by
joking
118.
example of infinite hyperreal number
by
asteroid
119.
example of infinite simple group
by
rspuzio
120.
example of Klein 4-ring
by
Algeboy
121.
example of non-separable Hilbert space
by
rspuzio
122.
example of universe
by
rspuzio
123.
examples of aliquot sequences
by
PrimeFan
124.
examples of compact spaces
by
yark
125.
examples of filters
by
Evandar
126.
examples of finite simple groups
by
mathcam
127.
examples of initial states in the Game of Life
by
PrimeFan
128.
examples of normal form games
by
Henry
129.
examples of periodic functions
by
pahio
130.
examples of ring of sets
by
rspuzio
131.
existence of maximal subgroups
by
Algeboy
132.
existence of power series
by
rmilson
133.
exponent
by
Wkbj79
134.
exponential function
by
CWoo
135.
extended discussion of the conjugate gradient method
by
ehremo
136.
extended norm
by
rspuzio
137.
factorial base
by
CompositeFan
138.
factorial base representation of fractions
by
rspuzio
139.
Faltings' theorem
by
alozano
140.
Fermat's last theorem
by
akrowne
141.
field is discrete and cocompact in its ad\`{e}les
by
rm50
142.
finite complement topology
by
mathcam
143.
finite field
by
yark
144.
finite nilpotent groups
by
Algeboy
145.
formal power series
by
AxelBoldt
146.
free semigroup
by
yark
147.
Fresnel integrals
by
pahio
148.
Frobenius method
by
pahio
149.
from Hilbert's tenth problem to G\"{o}del's trichotomy
by
gribskoff
150.
function of not bounded variation
by
pahio
151.
functional analysis
by
PrimeFan
152.
F\"urstenberg's proof of the infinitude of primes
by
mathcam
153.
Gelfand spectral radius theorem
by
Andrea Ambrosio
154.
generalized Boolean algebra
by
CWoo
155.
generalized continuum hypothesis
by
yark
156.
generator
by
Wkbj79
157.
generatrices of one-sheeted hyperboloid
by
pahio
158.
geodesic
by
Mathprof
159.
graph minor theorem
by
AxelBoldt
160.
group cohomology (topological definition)
by
whm22
161.
gr\"ossencharacter
by
alozano
162.
halting problem
by
rspuzio
163.
Harnack's principle
by
Mathprof
164.
Hausdorff space not completely Hausdorff
by
drini
165.
Henri Poincar\'e
by
Daume
166.
Hewitt-Marczewski-Pondiczery theorem
by
yark
167.
Hilbert's $\varepsilon$-operator
by
gribskoff
168.
Hilbert's hotel
by
Daume
169.
hollow matrix rings
by
Algeboy
170.
homotopy groups
by
bwebste
171.
Hough transform
by
madmortigan
172.
hyperconnected space
by
yark
173.
hypergraph
by
CWoo
174.
H\"artig's quantifier
by
Henry
175.
idempotency of infinite cardinals
by
CWoo
176.
identity theorem of holomorphic functions
by
rspuzio
177.
if $A$ is infinite and $B$ is a finite subset of $A\,\!,$ then $A\setminus B$ is infinite
by
mathcam
178.
imaginaries
by
mathcam
179.
improper integral
by
paolini
180.
index of important irrational constants
by
PrimeFan
181.
index of set theory
by
rspuzio
182.
indirect proof of identity theorem of power series
by
pahio
183.
induction
by
Daume
184.
infinite graph
by
sjm1979
185.
initial value problem
by
rspuzio
186.
integration of Laplace transform with respect to parameter
by
pahio
187.
intercession
by
WM
188.
intuitionistic logic
by
gribskoff
189.
inverse Laplace transform of meromorphic function
by
pahio
190.
irredundant
by
CWoo
191.
iterated totient function
by
CompositeFan
192.
Jones Polynomial
by
Stephaninos
193.
Kleene's theorem
by
CWoo
194.
knot theory
by
CWoo
195.
Krull-Schmidt theorem
by
smw
196.
K\"onig's lemma
by
mps
197.
Landsberg-Schaar relation
by
mathcam
198.
language
by
mps
199.
lattice interval
by
CWoo
200.
lattice of ideals
by
CWoo
201.
Legendre Transform
by
fernsanz
202.
lemma on projection of countable sets
by
rspuzio
203.
Levy process
by
juansba
204.
limit cardinal
by
yark
205.
limit comparison test
by
alozano
206.
limit inferior
by
rmilson
207.
limit laws for uniform convergence
by
stevecheng
208.
limit of sequence of sets
by
CWoo
209.
Lindenmayer system
by
CWoo
210.
line in plane
by
matte
211.
linearly independent
by
rmilson
212.
link between infinite products and sums
by
paolini
213.
locally $\cal P$
by
yark
214.
locally finite poset
by
mps
215.
logicism
by
gribskoff
216.
Markov algorithm
by
CWoo
217.
Martin's axiom and the continuum hypothesis
by
Henry
218.
Mathematica
by
Mravinci
219.
mathematical platonism
by
gribskoff
220.
mathematics vocabulary
by
matte
221.
MatheRealism
by
WM
222.
matrix logarithm
by
Andrea Ambrosio
223.
minimal and maximal number
by
pahio
224.
minimal condition
by
mclase
225.
minimal model for an elliptic curve
by
alozano
226.
module of finite rank
by
antizeus
227.
modulus
by
djao
228.
Monte Carlo simulation
by
stevecheng
229.
moving average
by
PrimeFan
230.
multiset
by
PrimeFan
231.
natural logarithm
by
mathwizard
232.
nested interval theorem
by
pahio
233.
neutrosophic logic
by
para0doxa
234.
neutrosophic probability
by
para0doxa
235.
neutrosophic set
by
para0doxa
236.
non-commuting graph
by
GrafZahl
237.
norm-Euclidean number field
by
pahio
238.
normal random variable
by
Koro
239.
number of ultrafilters
by
yark
240.
one-line notation for permutations
by
mps
241.
open set
by
mathwizard
242.
operator norm
by
asteroid
243.
operator norm of multiplication operator on $L^2$
by
rspuzio
244.
ordinal arithmetic
by
Henry
245.
ordinal number
by
yark
246.
orthonormal basis
by
yark
247.
paradox of the binary tree
by
WM
248.
parallelogram principle
by
pahio
249.
partial fractions of expressions and partition problems (recreational)
by
rspuzio
250.
Pell's equation
by
rm50
251.
periodic continued fractions represent quadratic irrationals
by
rm50
252.
permutation model
by
ratboy
253.
pi
by
mathcam
254.
Pi-Search Page
by
PrimeFan
255.
pictures of Dynkin diagrams
by
Dr_Absentius
256.
places of holomorphic function
by
pahio
257.
Poisson summation formula
by
rmilson
258.
polyadic algebra with equality
by
CWoo
259.
polycyclic group
by
yark
260.
polyhedron
by
Mathprof
261.
polynomial function
by
pahio
262.
positive
by
pahio
263.
predicativism
by
gribskoff
264.
prime constant
by
mathcam
265.
projective plane
by
yark
266.
proof of $\Diamond$ is equivalent to $\clubsuit$ and continuum hypothesis
by
Henry
267.
proof of absolute convergence implies convergence for an infinite product
by
paolini
268.
proof of Banach-Tarski paradox
by
GrafZahl
269.
proof of Borel-Cantelli 1
by
kshum
270.
proof of Cayley-Hamilton theorem by formal substitutions
by
asteroid
271.
proof of Hausdorff paradox
by
GrafZahl
272.
proof of infinite product of sums $1\!+\!a_i$ result without exponentials
by
rspuzio
273.
proof of infinitude of primes
by
rspuzio
274.
proof of l'H\^opital's rule for $\infty/\infty$ form
by
stevecheng
275.
proof of Ramsey's theorem
by
mathcam
276.
proof of Riemann mapping theorem
by
rspuzio
277.
proof of sampling theorem
by
stevecheng
278.
proof of the weak Nullstellensatz
by
pbruin
279.
proof of Tychonoff's theorem in finite case
by
stevecheng
280.
proof of Urysohn's lemma
by
scanez
281.
proof of values of the Riemann zeta function in terms of Bernoulli numbers
by
rm50
282.
proof that $\omega$ has the tree property
by
Henry
283.
proof that a metric space is compact if and only if it is complete and totally bounded
by
rm50
284.
proof that all cyclic groups of the same order are isomorphic to each other
by
Wkbj79
285.
proof that e is not a natural number
by
CWoo
286.
proof that normal distribution is a distribution
by
Wkbj79
287.
proof that the set of sum-product numbers in base 2 is finite
by
Mravinci
288.
properties of hyperreals under field operations
by
asteroid
289.
properties of bases
by
CWoo
290.
properties of cardinal numbers
by
gilbert_51126
291.
properties of parallel curves
by
pahio
292.
property of infinite simple group
by
Algeboy
293.
Prouhet-Thue-Morse sequence
by
Mathprof
294.
pseudo-orbit
by
Koro
295.
quantale
by
CWoo
296.
quantifier
by
CWoo
297.
quasicyclic group
by
yark
298.
Ramsey's theorem
by
mathcam
299.
random graph (infinite)
by
bbukh
300.
rational rank of a group
by
polarbear
301.
Rayleigh-Ritz method
by
invisiblerhino
302.
regular prime
by
djao
303.
relationship among different kinds of compactness
by
rm50
304.
Schr\"{o}eder Bernstein Theorem: Proof
by
sauravbhaumik
305.
self number
by
CompositeFan
306.
semigroup of transformations
by
mclase
307.
series
by
mathwizard
308.
set
by
Mathprof
309.
set of sampling
by
swiftset
310.
set theory
by
mathwizard
311.
Shannon's entropy
by
kshum
312.
Sidon set
by
bbukh
313.
signature
by
CWoo
314.
simple and semi-simple Lie algebras
by
mathcam
315.
simplicial complex
by
djao
316.
Smarandache function
by
dankomed
317.
some theorems on strict betweenness relations
by
Mathprof
318.
star-free
by
CWoo
319.
Stern-Brocot tree
by
bbukh
320.
strongly minimal
by
Timmy
321.
subcategory
by
CWoo
322.
subsemigroup of a cyclic semigroup
by
CWoo
323.
subsequence
by
alozano
324.
successor cardinal
by
yark
325.
summation
by
drini
326.
supercategory
by
bci1
327.
supercategory theories
by
bci1
328.
supernumber
by
mhale
329.
surreal number
by
Henry
330.
symbolic dynamics
by
PrimeFan
331.
Tarski group
by
yark
332.
Taylor's formula in Banach spaces
by
stevecheng
333.
tensor product of dual spaces is a dual space of tensor product
by
joking
334.
terminating reduction
by
CWoo
335.
The Hamiltonian ring is not a complex algebra
by
Algeboy
336.
the multiplicative identity of a cyclic ring must be a generator
by
Wkbj79
337.
The property that compact sets in a space are closed lies strictly between T1 and T2
by
dfeuer
338.
there are an infinite number of primes $\equiv 1\mod m$
by
rm50
339.
there are an infinite number of primes $\equiv \pm 1\pmod 4$
by
rm50
340.
top ten coolest numbers
by
rspuzio
341.
topic entry on complex analysis
by
pahio
342.
topological entropy
by
Koro
343.
Torricelli's trumpet
by
pahio
344.
tree (set theoretic)
by
Henry
345.
tubular neighborhood
by
PrimeFan
346.
Turing machine
by
Henry
347.
twin prime conjecture
by
alozano
348.
Tychonoff's theorem
by
matte
349.
ultrafilter
by
yark
350.
uncountable
by
yark
351.
uniform dimension
by
mclase
352.
union
by
rm50
353.
unique readability of well-formed formulas
by
CWoo
354.
uniqueness of digital representation
by
pahio
355.
universe
by
archibal
356.
unlimited register machine
by
CWoo
357.
upward Lowenheim-Skolem theorem
by
Evandar
358.
vacuous
by
matte
359.
vector
by
rmilson
360.
vector bundle
by
rspuzio
361.
vector space over an infinite field is not a finite union of proper subspaces
by
loner
362.
vibrating string with variable density
by
perucho
363.
virtually abelian group
by
yark
364.
Vizing's theorem
by
marijke
365.
von Neumann-Bernays-G\"odel set theory
by
Aatu
366.
weakly compact cardinal
by
Henry
367.
weakly countably compact
by
yark
368.
well quasi ordering
by
CWoo
369.
when all singularities are poles
by
pahio
370.
Why Study Egyptian Fraction Mathematics
by
milogardner
371.
Wilson's primeth recurrence
by
PrimeFan
372.
word
by
juanman
373.
Zermelo-Fraenkel axioms
by
mathcam
374.
zero of a function
by
mathcam
375.
\'etale fundamental group
by
archibal