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