General Existence Theorem
Discontinuous linear maps can be proven to exist more generally even if the space is complete. Let X and Y be normed spaces over the field K where K = R or K = C. Assume that X is infinite-dimensional and Y is not the zero space. We will find a discontinuous linear map f from X to K, which will imply the existence of a discontinuous linear map g from X to Y given by the formula g(x) = f(x)y0 where y0 is an arbitrary nonzero vector in Y.
If X is infinite-dimensional, to show the existence of a linear functional which is not continuous then amounts to constructing f which is not bounded. For that, consider a sequence (en)n (n ≥ 1) of linearly independent vectors in X. Define
for each n = 1, 2, ... Complete this sequence of linearly independent vectors to a vector space basis of X, and define T at the other vectors in the basis to be zero. T so defined will extend uniquely to a linear map on X, and since it is clearly not bounded, it is not continuous.
Notice that by using the fact that any set of linearly independent vectors can be completed to a basis, we implicitly used the axiom of choice, which was not needed for the concrete example in the previous section.
Read more about this topic: Discontinuous Linear Map
Famous quotes containing the words general, existence and/or theorem:
“The conclusion suggested by these arguments might be called the paradox of theorizing. It asserts that if the terms and the general principles of a scientific theory serve their purpose, i. e., if they establish the definite connections among observable phenomena, then they can be dispensed with since any chain of laws and interpretive statements establishing such a connection should then be replaceable by a law which directly links observational antecedents to observational consequents.”
—C.G. (Carl Gustav)
“How old the world is! I walk between two eternities.... What is my fleeting existence in comparison with that decaying rock, that valley digging its channel ever deeper, that forest that is tottering and those great masses above my head about to fall? I see the marble of tombs crumbling into dust; and yet I dont want to die!”
—Denis Diderot (17131784)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (19131960)