second category

created by ariels
(idea) by ariels (3.6 d) (print)   ?   (I like it!) Tue Oct 30 2001 at 10:14:27

(In a metric space:) Not of first category. This is not a joke! The Baire category theorem says that a complete metric space is of the second category.

The names "first category" and "second category" are known to be idiotic. But then, so is calling something "normal"...


Note to nuking editor: That really is all there is to say about second category. And it is an important concept (among other things, it's what makes things work in a Banach space).
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.