Nuprl Definition : uniform-continuity-pi
ucA(T;F;n) == ∀f,g:ℕ ⟶ 𝔹. ((f = g ∈ (ℕn ⟶ 𝔹)) ⇒ ((F f) = (F g) ∈ T))
Definitions occuring in Statement :
int_seg: {i..j-},
nat: ℕ,
bool: 𝔹,
all: ∀x:A. B[x],
implies: P ⇒ Q,
apply: f a,
function: x:A ⟶ B[x],
natural_number: $n,
equal: s = t ∈ T
Definitions occuring in definition :
all: ∀x:A. B[x],
nat: ℕ,
implies: P ⇒ Q,
function: x:A ⟶ B[x],
int_seg: {i..j-},
natural_number: $n,
bool: 𝔹,
equal: s = t ∈ T,
apply: f a
FDL editor aliases :
uniform-continuity-pi
Latex:
ucA(T;F;n) == \mforall{}f,g:\mBbbN{} {}\mrightarrow{} \mBbbB{}. ((f = g) {}\mRightarrow{} ((F f) = (F g)))
Date html generated:
2016_05_14-PM-09_38_09
Last ObjectModification:
2015_09_22-PM-06_03_33
Theory : continuity
Home
Index