Questions tagged [schauder-basis]

A Schauder basis is a basis that use linear combinations that may be infinite sums..

196 questions
109
votes
5 answers

What is the difference between a Hamel basis and a Schauder basis?

Let $V$ be a vector space with infinite dimensions. A Hamel basis for $V$ is an ordered set of linearly independent vectors $\{ v_i \ | \ i \in I\}$ such that any $v \in V$ can be expressed as a finite linear combination of the $v_i$'s; so $\{ v_i \…
Lor
  • 5,458
  • 2
  • 25
  • 53
31
votes
2 answers

How to prove that if a normed space has Schauder basis, then it is separable? What about the converse?

Can we take as a dense subset the collection of all the linear combinations of the vectors of the Schauder basis using the rationals as scalars (or the complex numbers with rational real and imaginary parts for that matter)? What can we say about…
15
votes
2 answers

Is there a notion of a continuous basis of a Banach space?

If $X$ is a Banach space, then a Hamel basis of $X$ is a subset $B$ of $X$ such that every element of $X$ can be written uniquely as a linear combination of elements of $B$. And a Schauder basis of $X$ is a subset $B$ of $X$ such that every element…
11
votes
3 answers

Why isn't every Hamel basis a Schauder basis?

I seem to have tripped on the common Hamel/Schauder confusion. If $X$ is any vector space (not necessarily finite dimension) and $B$ is a linearly independent subset that spans $X$, then $B$ is a Hamel basis for $X$. If there exists a sequence…
Fequish
  • 679
  • 5
  • 10
10
votes
0 answers

Are uncountable "Schauder-like" bases studied/used?

We could define the following notion of basis in a way analogous to unconditional Schauder basis: If $X$ is a topological vector space over $\mathbb R$ and $B=\{b_i; i\in I\}$ be a subset of $X$. We say that $B$ is a basis if, for every $x\in X$…
9
votes
1 answer

Do reflexive separable Banach spaces have Schauder bases?

I know there exists an example in the literature due to Per Enflo of a separable Banach space without a Schauder basis. I am wondering if there is a reflexive counterexample? If so I would greatly appreciate a reference.
Ben C
  • 1,383
  • 3
  • 11
9
votes
1 answer

Does the ordering of a Schauder basis matter in Hilbert space?

If $S=\{v_i\}_{i\in\mathbb N}$ is a (not necessarily orthogonal) Schauder basis for a Hilbert space $H$, must $S$ be an unconditional Schauder basis? I define these terms below because not every source I have found agrees perfectly on the…
9
votes
1 answer

Normalizing a semi-normalized Schauder basis

Here's something that is probably obvious but I can't seem to see it. Suppose $(x_n)_{n=1}^\infty$ is a Schauder basis for a Banach space $X$, "seminormalized" in the sense that we have $$0<\inf\|x_n\|\leq\sup\|x_n\|<\infty.$$ Now consider the…
Ben W
  • 5,166
  • 14
  • 21
9
votes
1 answer

Mazur's Weak Basis Theorem

It is the Exercise 1.1 in Topics in Banach Space Theory by Albiac and Kalton to prove Mazur's Weak Basis Theorem, which states that every weak basis in a Banach space $X$ is a Schauder basis, where weak basis is defined as follows: A sequence…
Vitor Borges
  • 1,275
  • 6
  • 18
8
votes
1 answer

Schauder basis that is not Hilbert basis

Given an infinite dimensional Banach space $(V,\|\cdot\|)$ over the field $\Bbb K=\Bbb C$ or $\Bbb R$, a countable ordered set $B:=\{b_n\}_{n\in\Bbb N}⊂V$ is called Schauder basis, if every $v\in V$ can be uniquely decomposed as: $$…
giobrach
  • 7,050
  • 17
  • 39
7
votes
0 answers

What do we call a Schauder-like basis that is uncountable?

In a topological vector space, every Schauder basis is assumed countable, by definition. Supposing we drop the countability condition, we call this a [what goes here?] basis?
goblin GONE
  • 66,320
  • 17
  • 95
  • 274
7
votes
2 answers

Definition of Schauder basis

I have a definition of a Schauder basis but I’m unsure of it. The definition I have is A sequence $\{e_k : k \in \mathbb{N} \}$ in a normed space $(V, \| \cdot \| )$ is a Schauder basis if $\sum_{k=1}^{\infty } \alpha _k e_k =0 $ implies $\alpha _k…
Anonmath101
  • 1,996
  • 2
  • 13
  • 26
7
votes
1 answer

Is a linearly independent set whose span is dense a Schauder basis?

If $X$ is a Banach space, then a Schauder basis of $X$ is a subset $B$ of $X$ such that every element of $X$ can be written uniquely as an infinite linear combination of elements of $B$. My question is, if $A$ is a linearly independent subset of…
6
votes
1 answer

Which topological vector spaces have uncountable unordered sums?

If $P$ is an uncountable locally finite poset, then the incidence algebra $I(P)$ is a topological vector space (in fact a topological algebra) with the interesting property that every element $f$ can be written uniquely as an uncountable unordered…
6
votes
1 answer

Constructively embedding $\mathbb{Q}^\mathbb{N}$ into $\mathbb{R}$

Using the axiom of choice it is provable that $\mathbb{R}$ is isomorphic to $\mathbb{Q}^\mathbb{N}$ as a vector space over $\mathbb{Q}$. (Assuming AC, both spaces have a Hamel basis over $\mathbb{Q}$ of the same cardinality and are thus…
1
2 3
13 14