| Description: This is our primary
postulate for Hilbert space, which is the foundation
for quantum mechanics and quantum field theory. We assume that there
exists a primitive class, ℋ, which contains objects called vectors
whose properties are postulated in this axiom (which asserts that it
is a set) and the axioms ax-hvaddcl 4984, ax-hvcom 4985, ax-hvass 4986,
ax-hvzercl 4987, ax-hvaddid 4988, ax-hvmulcl 4989, ax-hvmulid 4991,
ax-hvmulass 4992, ax-hvdistr1 4993, ax-hvdistr2 4994, ax-hvmulzer 4995,
ax-hicl 5043, ax-his1 5045, ax-his2 5046, ax-his3 5047, ax-his4 5048, and
ax-hcompl 5113. . |
Home