subspace internal hyperfinite dimension transferring upper triangularisation operators finite dimensional complex vector space internal orthonormal hilbert space basis runs corresponding dimensional subspaces invariant denote projection subspace nonzero vector finite norm one assume nonzero ''q'' ''t'' ''x'' fix ideas since compact operator infinitely close therefore one also ''q'' ''t sub w sub '' ''x''
Formal science Mathematics Pure mathematics Analysis Non-standard analysis