Nuprl Definition : funspace
funspace(X;Y) == <topfun(X;Y), λf,g. topfuneq(X;Y;f;g), tfunequiv(X;Y)>
Definitions occuring in Statement :
tfunequiv: tfunequiv(X;Y),
topfuneq: topfuneq(X;Y;f;g),
topfun: topfun(X;Y),
lambda: λx.A[x],
pair: <a, b>
Definitions occuring in definition :
tfunequiv: tfunequiv(X;Y),
topfuneq: topfuneq(X;Y;f;g),
lambda: λx.A[x],
pair: <a, b>,
topfun: topfun(X;Y)
FDL editor aliases :
funspace
Latex:
funspace(X;Y) == <topfun(X;Y), \mlambda{}f,g. topfuneq(X;Y;f;g), tfunequiv(X;Y)>
Date html generated:
2018_07_29-AM-09_48_49
Last ObjectModification:
2018_06_21-AM-10_40_22
Theory : inner!product!spaces
Home
Index