Tietze extension theorem for vector bundles on paracompact spaces
$begingroup$
In Atiyah's K-theory book, he gives a proof of the Tietze extension theorem to vector bundles. He gives the proof only for compact Hausdorff spaces, but I want to generalise it to paracompact Hausdorff spaces. The statement is the following:
$textbf{Lemma}$ : Let $B$ be paracompact Hausdorff and $p:Eto B$ a vector bundle. Let $Asubset B$ closed. Then a section $s:Ato E|A$ can be extended to a section $s:Bto E$.
$textit{Proof}$: Let $s:Ato E|A$ be a section. Then for every $xin B$ we can extend the section to an open set $U_x$ containing $x$. If $B$ were compact, then we could cover $B$ with these sets $U_x$ and take a finite subcover. However, since it is only paracompact, the best we can do is take a locally finite refinement ${V_alpha}$. The objective would be to have sections from this refinement and glue them together via partitions of unity. Clearly this doesn't necessarily have to work for paracompact spaces since the indexing set of ${V_alpha}$ need not be finite so the partitions of unity need not converge.
There is a lemma that I feel should help here that says: for every open cover, there is a countable open cover such that every element in the second cover is a disjoint union of open sets, each of which is contained in elements of the original cover.
general-topology vector-bundles topological-k-theory paracompactness
edited Dec 9 '18 at 22:06
Eric Wofsey
183k13209337
asked Mar 21 '18 at 22:40
GeorgeGeorge
826815
$endgroup$
add a comment |
$begingroup$
In Atiyah's K-theory book, he gives a proof of the Tietze extension theorem to vector bundles. He gives the proof only for compact Hausdorff spaces, but I want to generalise it to paracompact Hausdorff spaces. The statement is the following:
$textbf{Lemma}$ : Let $B$ be paracompact Hausdorff and $p:Eto B$ a vector bundle. Let $Asubset B$ closed. Then a section $s:Ato E|A$ can be extended to a section $s:Bto E$.
$textit{Proof}$: Let $s:Ato E|A$ be a section. Then for every $xin B$ we can extend the section to an open set $U_x$ containing $x$. If $B$ were compact, then we could cover $B$ with these sets $U_x$ and take a finite subcover. However, since it is only paracompact, the best we can do is take a locally finite refinement ${V_alpha}$. The objective would be to have sections from this refinement and glue them together via partitions of unity. Clearly this doesn't necessarily have to work for paracompact spaces since the indexing set of ${V_alpha}$ need not be finite so the partitions of unity need not converge.
There is a lemma that I feel should help here that says: for every open cover, there is a countable open cover such that every element in the second cover is a disjoint union of open sets, each of which is contained in elements of the original cover.
general-topology vector-bundles topological-k-theory paracompactness
edited Dec 9 '18 at 22:06
Eric Wofsey
183k13209337
asked Mar 21 '18 at 22:40
GeorgeGeorge
826815
$endgroup$
add a comment |
$begingroup$
In Atiyah's K-theory book, he gives a proof of the Tietze extension theorem to vector bundles. He gives the proof only for compact Hausdorff spaces, but I want to generalise it to paracompact Hausdorff spaces. The statement is the following:
$textbf{Lemma}$ : Let $B$ be paracompact Hausdorff and $p:Eto B$ a vector bundle. Let $Asubset B$ closed. Then a section $s:Ato E|A$ can be extended to a section $s:Bto E$.
$textit{Proof}$: Let $s:Ato E|A$ be a section. Then for every $xin B$ we can extend the section to an open set $U_x$ containing $x$. If $B$ were compact, then we could cover $B$ with these sets $U_x$ and take a finite subcover. However, since it is only paracompact, the best we can do is take a locally finite refinement ${V_alpha}$. The objective would be to have sections from this refinement and glue them together via partitions of unity. Clearly this doesn't necessarily have to work for paracompact spaces since the indexing set of ${V_alpha}$ need not be finite so the partitions of unity need not converge.
There is a lemma that I feel should help here that says: for every open cover, there is a countable open cover such that every element in the second cover is a disjoint union of open sets, each of which is contained in elements of the original cover.
general-topology vector-bundles topological-k-theory paracompactness
edited Dec 9 '18 at 22:06
Eric Wofsey
183k13209337
asked Mar 21 '18 at 22:40
GeorgeGeorge
826815
$endgroup$
In Atiyah's K-theory book, he gives a proof of the Tietze extension theorem to vector bundles. He gives the proof only for compact Hausdorff spaces, but I want to generalise it to paracompact Hausdorff spaces. The statement is the following:
$textbf{Lemma}$ : Let $B$ be paracompact Hausdorff and $p:Eto B$ a vector bundle. Let $Asubset B$ closed. Then a section $s:Ato E|A$ can be extended to a section $s:Bto E$.
$textit{Proof}$: Let $s:Ato E|A$ be a section. Then for every $xin B$ we can extend the section to an open set $U_x$ containing $x$. If $B$ were compact, then we could cover $B$ with these sets $U_x$ and take a finite subcover. However, since it is only paracompact, the best we can do is take a locally finite refinement ${V_alpha}$. The objective would be to have sections from this refinement and glue them together via partitions of unity. Clearly this doesn't necessarily have to work for paracompact spaces since the indexing set of ${V_alpha}$ need not be finite so the partitions of unity need not converge.
There is a lemma that I feel should help here that says: for every open cover, there is a countable open cover such that every element in the second cover is a disjoint union of open sets, each of which is contained in elements of the original cover.
general-topology vector-bundles topological-k-theory paracompactness
general-topology vector-bundles topological-k-theory paracompactness
edited Dec 9 '18 at 22:06
Eric Wofsey
183k13209337
asked Mar 21 '18 at 22:40
GeorgeGeorge
826815
edited Dec 9 '18 at 22:06
Eric Wofsey
183k13209337
asked Mar 21 '18 at 22:40
GeorgeGeorge
826815
edited Dec 9 '18 at 22:06
Eric Wofsey
183k13209337
edited Dec 9 '18 at 22:06
Eric Wofsey
183k13209337
edited Dec 9 '18 at 22:06
Eric Wofsey
183k13209337
183k13209337
asked Mar 21 '18 at 22:40
GeorgeGeorge
826815
asked Mar 21 '18 at 22:40
GeorgeGeorge
826815
asked Mar 21 '18 at 22:40
GeorgeGeorge
826815
826815
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
There is no "convergence" issue at all. That's the entire point of having a partition of unity subordinate to a locally finite open cover: near any point, only finitely many terms of the partition of unity are nonzero, so you just have a finite sum (which is furthermore guaranteed to be continuous since it is a sum of continuous functions). So, you pick your partition of unity to be subordinate to ${V_alpha}$, and there will be no issue adding everything up.
answered Dec 9 '18 at 22:06
Eric WofseyEric Wofsey
183k13209337
$endgroup$
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
});
}
});
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%2f2702552%2ftietze-extension-theorem-for-vector-bundles-on-paracompact-spaces%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
$begingroup$
There is no "convergence" issue at all. That's the entire point of having a partition of unity subordinate to a locally finite open cover: near any point, only finitely many terms of the partition of unity are nonzero, so you just have a finite sum (which is furthermore guaranteed to be continuous since it is a sum of continuous functions). So, you pick your partition of unity to be subordinate to ${V_alpha}$, and there will be no issue adding everything up.
answered Dec 9 '18 at 22:06
Eric WofseyEric Wofsey
183k13209337
$endgroup$
add a comment |
$begingroup$
There is no "convergence" issue at all. That's the entire point of having a partition of unity subordinate to a locally finite open cover: near any point, only finitely many terms of the partition of unity are nonzero, so you just have a finite sum (which is furthermore guaranteed to be continuous since it is a sum of continuous functions). So, you pick your partition of unity to be subordinate to ${V_alpha}$, and there will be no issue adding everything up.
answered Dec 9 '18 at 22:06
Eric WofseyEric Wofsey
183k13209337
$endgroup$
add a comment |
$begingroup$
There is no "convergence" issue at all. That's the entire point of having a partition of unity subordinate to a locally finite open cover: near any point, only finitely many terms of the partition of unity are nonzero, so you just have a finite sum (which is furthermore guaranteed to be continuous since it is a sum of continuous functions). So, you pick your partition of unity to be subordinate to ${V_alpha}$, and there will be no issue adding everything up.
answered Dec 9 '18 at 22:06
Eric WofseyEric Wofsey
183k13209337
$endgroup$
There is no "convergence" issue at all. That's the entire point of having a partition of unity subordinate to a locally finite open cover: near any point, only finitely many terms of the partition of unity are nonzero, so you just have a finite sum (which is furthermore guaranteed to be continuous since it is a sum of continuous functions). So, you pick your partition of unity to be subordinate to ${V_alpha}$, and there will be no issue adding everything up.
answered Dec 9 '18 at 22:06
Eric WofseyEric Wofsey
183k13209337
answered Dec 9 '18 at 22:06
Eric WofseyEric Wofsey
183k13209337
answered Dec 9 '18 at 22:06
Eric WofseyEric Wofsey
183k13209337
answered Dec 9 '18 at 22:06
Eric WofseyEric Wofsey
183k13209337
183k13209337
add a comment |
add a comment |
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.
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%2f2702552%2ftietze-extension-theorem-for-vector-bundles-on-paracompact-spaces%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
