Nuprl Definition : rv-iid
rv-iid(p;n.f[n];i.X[i]) ==
rv-identically-distributed(p;n.f[n];i.X[i]) ∧ (∀n:ℕ. ∀i:ℕn. (f[i] < f[n] ∧ rv-disjoint(p;f[n];X[i];X[n])))
Definitions occuring in Statement :
rv-identically-distributed: rv-identically-distributed(p;n.f[n];i.X[i]),
rv-disjoint: rv-disjoint(p;n;X;Y),
int_seg: {i..j-},
nat: ℕ,
less_than: a < b,
all: ∀x:A. B[x],
and: P ∧ Q,
natural_number: $n
Definitions :
rv-identically-distributed: rv-identically-distributed(p;n.f[n];i.X[i]),
nat: ℕ,
all: ∀x:A. B[x],
int_seg: {i..j-},
natural_number: $n,
and: P ∧ Q,
less_than: Error :less_than def,
rv-disjoint: rv-disjoint(p;n;X;Y)
FDL editor aliases :
rv-iid
rv-iid(p;n.f[n];i.X[i]) ==
rv-identically-distributed(p;n.f[n];i.X[i])
\mwedge{} (\mforall{}n:\mBbbN{}. \mforall{}i:\mBbbN{}n. (f[i] < f[n] \mwedge{} rv-disjoint(p;f[n];X[i];X[n])))
Date html generated:
2015_07_17-AM-08_02_01
Last ObjectModification:
2008_02_27-PM-05_50_00
Home
Index