1. Lineability and algebrability of the set of holomorphic functions with a given domain of existence
- Author
-
Thiago R. Alves
- Subjects
Discrete mathematics ,Mathematics::Functional Analysis ,Pure mathematics ,General Mathematics ,Holomorphic function ,Banach space ,Domain of holomorphy ,Identity theorem ,Linear subspace ,Cardinality of the continuum ,Domain (mathematical analysis) ,Mathematics ,Separable space - Abstract
Let E be a complex Banach space and U be an open subset of E. The space of all holomorphic functions on U will be represented by H(U). We prove the following results: Theorem 1. Let U be a domain of existence in a separable Banach space E. Then the set E(U) of all f ∈ H(U) whose domain of existence is U is lineable. This means that E(U), together with 0, contains an infinite dimensional vector subspace. Theorem 2. Let U be a domain of existence in a separable Banach space E. Then the set E(U) of all f ∈ H(U) whose domain of existence is U is c-lineable. This means that E(U), together with 0, contains a vector subspace of dimension c, the cardinality of the continuum. (Of course Theorem 1 follows from Theorem 2, but the proof of Theorem 1 is presented in a much simpler way.) Theorem 3. Let U be a domain of existence in a separable Banach space E. Then the set E(U) of all f ∈ H(U) whose domain of existence is U is algebrable. This means that E(U), together with 0, contains a subalgebra which is generated by an infinite algebraically independent set.
- Published
- 2014
- Full Text
- View/download PDF