The sequence spaces $ℓp$ are defined here: https://en.wikipedia.org/wiki/Sequence_space#%E2%84%93p_spaces.
My question is: since sequences are basically just functions on the domain of $\mathbb{N}$ (or $\mathbb{Z}$), the sequence space should be a discrete space, am I right?
Thank you very much.