• gandalf_der_12te@discuss.tchncs.de
    link
    fedilink
    English
    arrow-up
    3
    ·
    edit-2
    24 hours ago

    fun fact: the vector space of differentiable functions (at least on compact domains) is actually of countable dimension.

    still infinite though

    • iAvicenna@lemmy.world
      link
      fedilink
      English
      arrow-up
      1
      ·
      edit-2
      20 hours ago

      Doesn’t BCT imply that infinite dimensional Banach spaces cannot have a countable basis

      • gandalf_der_12te@discuss.tchncs.de
        link
        fedilink
        English
        arrow-up
        1
        ·
        edit-2
        1 hour ago

        Uhm, yeah, but there’s two different definitions of basis iirc. And i’m using the analytical definition here; you’re talking about the linear algebra definition.