Functional analysis Definition
BK-space
Builds on Sequence spaceBanach spaceContinuous functionFK-spaceSequence spaces lp
Definition
Let be or , and let be a sequence space over . A BK-space is such an together with a norm on such that:
- is a Banach space.
- For each , the coordinate map , , is continuous.
Remarks
Equivalently, a BK-space is an FK-space whose topology is given by a norm.
Example: with is a BK-space. It is a Banach space, and shows that each coordinate map is continuous. In the same way, the spaces ℓ^p for , the space of convergent sequences and the space of null sequences are BK-spaces.
Non-example: the space of all sequences is an FK-space but not a BK-space. Its FK topology, the topology of coordinatewise convergence, is not given by any norm, because no neighbourhood of in it is bounded.
Reading path
To understand this page from the ground up, read these 43 pages in order. The foundations come first.
- Continuous function concept
- Element definition
- Extended real number line object
- FK-space concept
- Proposition concept
- Real numbers object
- Sequence space concept
- Set bounded above definition
- p-metric on R^n example
- Set definition
- Conjunction definition
- Disjunction definition
- Implication definition
- Predicate definition
- Supremum definition
- p-norm on R^n example
- Empty set object
- Family of sets definition
- Ordered pair definition
- Intersection definition
- Union definition
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Subset definition
- Union of a family of sets definition
- Uniqueness quantifier definition
- Binary relation definition
- Topological space definition
- Function definition
- Metric space definition
- Convergence of a sequence in a metric space definition
- Open ball definition
- Diameter of a set definition
- Metric topology definition
- Epsilon characterisation of Cauchy sequences statement
- Complete metric space definition
- Open set definition
- Equivalent metrics definition
- Equivalent norms definition
- Banach space definition
- Sequence spaces lp example
- BK-space definition
Further reading
About this page
| Tag | VC7EH3FZX3 |
|---|---|
| URI | m2://VC7EH3FZX3 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 46B45, 46A45 |
| Defines | BK-space |
| Uses | Sequence space, Banach space, Continuous function, FK-space, Sequence spaces lp |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.