Map each bounded sequence to the continuous function that takes value at the integer and is affine on every interval . Convexity of absolute value gives , and evaluation at integers gives equality of suprema. Thus is an isometric embedding of the l-infinity sequence space into .
The former is not separable by the allowed fact. If the latter were separable, the subspace result just proved would make its isometric copy of separable, a contradiction. Hence

Articles by others on the same topic (0)

There are currently no matching articles.