Existence of a Banach space of arbitrary cardinal number $alphageq card( Bbb R)$
Let $alpha$ be a cardinal number with $alphageq c:= operatorname{card}(Bbb R).$
Is there a Banach space $X$ which satisfies $operatorname{card}(X)= alpha?$
With many thanks for your answers.
set-theory banach-spaces
New contributor
|
show 2 more comments
Let $alpha$ be a cardinal number with $alphageq c:= operatorname{card}(Bbb R).$
Is there a Banach space $X$ which satisfies $operatorname{card}(X)= alpha?$
With many thanks for your answers.
set-theory banach-spaces
New contributor
4
Two people downvoted this well formulated and polite question: that was a really stupid and mean move, especially after the system's warning "Be nice" to this new contributor.
– Georges Elencwajg
Jan 2 at 11:09
Yes. Consider the space $X$ of maps $sigma:alpha rightarrow mathbb{ R}$ with countable support, which are square summable. You can equip $X$ with a sufficiently complete norm as follows $Vert sigma Vert = Sigma { sigma(gamma)^2: gamma in supp(sigma)}$. ( $X$ is a linear space when equiped the pointwise addition and scalar mult.)
– Not Mike
Jan 2 at 11:20
I just want to know if this problem is open or it solve previously?
– Ali Bayati
Jan 2 at 11:23
If I had to guess, I'd guess this was solved close to a 100 years ago.
– Asaf Karagila♦
Jan 2 at 11:24
Are there any references in this area? Why we have $card( l^2(sigma))=card (sigma)$ when $card( sigma) geq c?$
– Ali Bayati
Jan 2 at 11:27
|
show 2 more comments
Let $alpha$ be a cardinal number with $alphageq c:= operatorname{card}(Bbb R).$
Is there a Banach space $X$ which satisfies $operatorname{card}(X)= alpha?$
With many thanks for your answers.
set-theory banach-spaces
New contributor
Let $alpha$ be a cardinal number with $alphageq c:= operatorname{card}(Bbb R).$
Is there a Banach space $X$ which satisfies $operatorname{card}(X)= alpha?$
With many thanks for your answers.
set-theory banach-spaces
set-theory banach-spaces
New contributor
New contributor
edited Jan 3 at 23:01
Davide Giraudo
125k16150260
125k16150260
New contributor
asked Jan 2 at 11:00
Ali BayatiAli Bayati
263
263
New contributor
New contributor
4
Two people downvoted this well formulated and polite question: that was a really stupid and mean move, especially after the system's warning "Be nice" to this new contributor.
– Georges Elencwajg
Jan 2 at 11:09
Yes. Consider the space $X$ of maps $sigma:alpha rightarrow mathbb{ R}$ with countable support, which are square summable. You can equip $X$ with a sufficiently complete norm as follows $Vert sigma Vert = Sigma { sigma(gamma)^2: gamma in supp(sigma)}$. ( $X$ is a linear space when equiped the pointwise addition and scalar mult.)
– Not Mike
Jan 2 at 11:20
I just want to know if this problem is open or it solve previously?
– Ali Bayati
Jan 2 at 11:23
If I had to guess, I'd guess this was solved close to a 100 years ago.
– Asaf Karagila♦
Jan 2 at 11:24
Are there any references in this area? Why we have $card( l^2(sigma))=card (sigma)$ when $card( sigma) geq c?$
– Ali Bayati
Jan 2 at 11:27
|
show 2 more comments
4
Two people downvoted this well formulated and polite question: that was a really stupid and mean move, especially after the system's warning "Be nice" to this new contributor.
– Georges Elencwajg
Jan 2 at 11:09
Yes. Consider the space $X$ of maps $sigma:alpha rightarrow mathbb{ R}$ with countable support, which are square summable. You can equip $X$ with a sufficiently complete norm as follows $Vert sigma Vert = Sigma { sigma(gamma)^2: gamma in supp(sigma)}$. ( $X$ is a linear space when equiped the pointwise addition and scalar mult.)
– Not Mike
Jan 2 at 11:20
I just want to know if this problem is open or it solve previously?
– Ali Bayati
Jan 2 at 11:23
If I had to guess, I'd guess this was solved close to a 100 years ago.
– Asaf Karagila♦
Jan 2 at 11:24
Are there any references in this area? Why we have $card( l^2(sigma))=card (sigma)$ when $card( sigma) geq c?$
– Ali Bayati
Jan 2 at 11:27
4
4
Two people downvoted this well formulated and polite question: that was a really stupid and mean move, especially after the system's warning "Be nice" to this new contributor.
– Georges Elencwajg
Jan 2 at 11:09
Two people downvoted this well formulated and polite question: that was a really stupid and mean move, especially after the system's warning "Be nice" to this new contributor.
– Georges Elencwajg
Jan 2 at 11:09
Yes. Consider the space $X$ of maps $sigma:alpha rightarrow mathbb{ R}$ with countable support, which are square summable. You can equip $X$ with a sufficiently complete norm as follows $Vert sigma Vert = Sigma { sigma(gamma)^2: gamma in supp(sigma)}$. ( $X$ is a linear space when equiped the pointwise addition and scalar mult.)
– Not Mike
Jan 2 at 11:20
Yes. Consider the space $X$ of maps $sigma:alpha rightarrow mathbb{ R}$ with countable support, which are square summable. You can equip $X$ with a sufficiently complete norm as follows $Vert sigma Vert = Sigma { sigma(gamma)^2: gamma in supp(sigma)}$. ( $X$ is a linear space when equiped the pointwise addition and scalar mult.)
– Not Mike
Jan 2 at 11:20
I just want to know if this problem is open or it solve previously?
– Ali Bayati
Jan 2 at 11:23
I just want to know if this problem is open or it solve previously?
– Ali Bayati
Jan 2 at 11:23
If I had to guess, I'd guess this was solved close to a 100 years ago.
– Asaf Karagila♦
Jan 2 at 11:24
If I had to guess, I'd guess this was solved close to a 100 years ago.
– Asaf Karagila♦
Jan 2 at 11:24
Are there any references in this area? Why we have $card( l^2(sigma))=card (sigma)$ when $card( sigma) geq c?$
– Ali Bayati
Jan 2 at 11:27
Are there any references in this area? Why we have $card( l^2(sigma))=card (sigma)$ when $card( sigma) geq c?$
– Ali Bayati
Jan 2 at 11:27
|
show 2 more comments
1 Answer
1
active
oldest
votes
The answer is no.
Suppose that $alpha=beth_omega$, where $beth_0=aleph_0$ and $beth_{alpha+1}=2^{beth_alpha}$, with supremum at limits. Then $alpha>frak c$.
If $X$ is a Banach space of cardinality $alpha$, its dimension over $Bbb R$ is $alpha$ as well, fix a basis of size $alpha$ and let $X_n$ be the closed span of the first $beth_n$ vectors in the basis. Since taking closure uses only countable sequences, and $$beth_n^{aleph_0}leqbeth_n^{beth_n}=2^{beth_n}=beth_{n+1}$$
it follows that $X_n$ is a closed subspace of size at most $beth_{n+1}$. In particular, it has empty interior, since any open ball must have size $|X|$. But it is also easy to see that $bigcup X_n=X$, which contradicts the Baire Category Theorem.
This can be generalized to all $alpha$ such that $alpha^{aleph_0}>alpha$. And indeed that is the only limitation. If $|S|=alpha$ such that $alpha^{aleph_0}=alpha$, then $ell^infty(S)$ has size $alpha$ and a natural Banach space structure.
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Ali Bayati is a new contributor. Be nice, and check out our Code of Conduct.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3059345%2fexistence-of-a-banach-space-of-arbitrary-cardinal-number-alpha-geq-card-bbb%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
The answer is no.
Suppose that $alpha=beth_omega$, where $beth_0=aleph_0$ and $beth_{alpha+1}=2^{beth_alpha}$, with supremum at limits. Then $alpha>frak c$.
If $X$ is a Banach space of cardinality $alpha$, its dimension over $Bbb R$ is $alpha$ as well, fix a basis of size $alpha$ and let $X_n$ be the closed span of the first $beth_n$ vectors in the basis. Since taking closure uses only countable sequences, and $$beth_n^{aleph_0}leqbeth_n^{beth_n}=2^{beth_n}=beth_{n+1}$$
it follows that $X_n$ is a closed subspace of size at most $beth_{n+1}$. In particular, it has empty interior, since any open ball must have size $|X|$. But it is also easy to see that $bigcup X_n=X$, which contradicts the Baire Category Theorem.
This can be generalized to all $alpha$ such that $alpha^{aleph_0}>alpha$. And indeed that is the only limitation. If $|S|=alpha$ such that $alpha^{aleph_0}=alpha$, then $ell^infty(S)$ has size $alpha$ and a natural Banach space structure.
add a comment |
The answer is no.
Suppose that $alpha=beth_omega$, where $beth_0=aleph_0$ and $beth_{alpha+1}=2^{beth_alpha}$, with supremum at limits. Then $alpha>frak c$.
If $X$ is a Banach space of cardinality $alpha$, its dimension over $Bbb R$ is $alpha$ as well, fix a basis of size $alpha$ and let $X_n$ be the closed span of the first $beth_n$ vectors in the basis. Since taking closure uses only countable sequences, and $$beth_n^{aleph_0}leqbeth_n^{beth_n}=2^{beth_n}=beth_{n+1}$$
it follows that $X_n$ is a closed subspace of size at most $beth_{n+1}$. In particular, it has empty interior, since any open ball must have size $|X|$. But it is also easy to see that $bigcup X_n=X$, which contradicts the Baire Category Theorem.
This can be generalized to all $alpha$ such that $alpha^{aleph_0}>alpha$. And indeed that is the only limitation. If $|S|=alpha$ such that $alpha^{aleph_0}=alpha$, then $ell^infty(S)$ has size $alpha$ and a natural Banach space structure.
add a comment |
The answer is no.
Suppose that $alpha=beth_omega$, where $beth_0=aleph_0$ and $beth_{alpha+1}=2^{beth_alpha}$, with supremum at limits. Then $alpha>frak c$.
If $X$ is a Banach space of cardinality $alpha$, its dimension over $Bbb R$ is $alpha$ as well, fix a basis of size $alpha$ and let $X_n$ be the closed span of the first $beth_n$ vectors in the basis. Since taking closure uses only countable sequences, and $$beth_n^{aleph_0}leqbeth_n^{beth_n}=2^{beth_n}=beth_{n+1}$$
it follows that $X_n$ is a closed subspace of size at most $beth_{n+1}$. In particular, it has empty interior, since any open ball must have size $|X|$. But it is also easy to see that $bigcup X_n=X$, which contradicts the Baire Category Theorem.
This can be generalized to all $alpha$ such that $alpha^{aleph_0}>alpha$. And indeed that is the only limitation. If $|S|=alpha$ such that $alpha^{aleph_0}=alpha$, then $ell^infty(S)$ has size $alpha$ and a natural Banach space structure.
The answer is no.
Suppose that $alpha=beth_omega$, where $beth_0=aleph_0$ and $beth_{alpha+1}=2^{beth_alpha}$, with supremum at limits. Then $alpha>frak c$.
If $X$ is a Banach space of cardinality $alpha$, its dimension over $Bbb R$ is $alpha$ as well, fix a basis of size $alpha$ and let $X_n$ be the closed span of the first $beth_n$ vectors in the basis. Since taking closure uses only countable sequences, and $$beth_n^{aleph_0}leqbeth_n^{beth_n}=2^{beth_n}=beth_{n+1}$$
it follows that $X_n$ is a closed subspace of size at most $beth_{n+1}$. In particular, it has empty interior, since any open ball must have size $|X|$. But it is also easy to see that $bigcup X_n=X$, which contradicts the Baire Category Theorem.
This can be generalized to all $alpha$ such that $alpha^{aleph_0}>alpha$. And indeed that is the only limitation. If $|S|=alpha$ such that $alpha^{aleph_0}=alpha$, then $ell^infty(S)$ has size $alpha$ and a natural Banach space structure.
edited Jan 2 at 14:43
David C. Ullrich
59.1k43892
59.1k43892
answered Jan 2 at 11:23
Asaf Karagila♦Asaf Karagila
302k32426757
302k32426757
add a comment |
add a comment |
Ali Bayati is a new contributor. Be nice, and check out our Code of Conduct.
Ali Bayati is a new contributor. Be nice, and check out our Code of Conduct.
Ali Bayati is a new contributor. Be nice, and check out our Code of Conduct.
Ali Bayati is a new contributor. Be nice, and check out our Code of Conduct.
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3059345%2fexistence-of-a-banach-space-of-arbitrary-cardinal-number-alpha-geq-card-bbb%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
4
Two people downvoted this well formulated and polite question: that was a really stupid and mean move, especially after the system's warning "Be nice" to this new contributor.
– Georges Elencwajg
Jan 2 at 11:09
Yes. Consider the space $X$ of maps $sigma:alpha rightarrow mathbb{ R}$ with countable support, which are square summable. You can equip $X$ with a sufficiently complete norm as follows $Vert sigma Vert = Sigma { sigma(gamma)^2: gamma in supp(sigma)}$. ( $X$ is a linear space when equiped the pointwise addition and scalar mult.)
– Not Mike
Jan 2 at 11:20
I just want to know if this problem is open or it solve previously?
– Ali Bayati
Jan 2 at 11:23
If I had to guess, I'd guess this was solved close to a 100 years ago.
– Asaf Karagila♦
Jan 2 at 11:24
Are there any references in this area? Why we have $card( l^2(sigma))=card (sigma)$ when $card( sigma) geq c?$
– Ali Bayati
Jan 2 at 11:27