Topological Quantum Field Theory: Compact Implies Finite BoundariesAtiyah's definitions of Topological Quantum Field TheoryShowing $S^n$ is compactQuestion about the definition of compact topological spaceA theorem on compactnessIs this the right way to prove finite cartesian product of compact sets is compactTopological Quantum Field TheoryFinite intersection of compact topological subspaces is compact.Understanding compactness and how it relates to finitenessLet $qcolon Eto X$ be a covering map. If $E$ is compact then $X$ is compact and $q$ is a finite-sheeted covering.Does a “flexibly fine” open-interval cover of a compact nowhere dense set admit a disjoint finite subcover?
Should we release the security issues we found in our product as CVE or we can just update those on weekly release notes?
Look at your watch and tell me what time is it. vs Look at your watch and tell me what time it is
Most cost effective thermostat setting: consistent temperature vs. lowest temperature possible
how to write formula in word in latex
How Could an Airship Be Repaired Mid-Flight
My Graph Theory Students
Existence of subset with given Hausdorff dimension
Recruiter wants very extensive technical details about all of my previous work
Can a druid choose the size of its wild shape beast?
Are ETF trackers fundamentally better than individual stocks?
Gantt Chart like rectangles with log scale
Have researchers managed to "reverse time"? If so, what does that mean for physics?
My adviser wants to be the first author
Welcoming 2019 Pi day: How to draw the letter π?
Is it true that good novels will automatically sell themselves on Amazon (and so on) and there is no need for one to waste time promoting?
Why did it take so long to abandon sail after steamships were demonstrated?
Python if-else code style for reduced code for rounding floats
Does Mathematica reuse previous computations?
Are there verbs that are neither telic, or atelic?
How to create the Curved texte?
Is it possible to upcast ritual spells?
If curse and magic is two sides of the same coin, why the former is forbidden?
Dice rolling probability game
What's the meaning of “spike” in the context of “adrenaline spike”?
Topological Quantum Field Theory: Compact Implies Finite Boundaries
Atiyah's definitions of Topological Quantum Field TheoryShowing $S^n$ is compactQuestion about the definition of compact topological spaceA theorem on compactnessIs this the right way to prove finite cartesian product of compact sets is compactTopological Quantum Field TheoryFinite intersection of compact topological subspaces is compact.Understanding compactness and how it relates to finitenessLet $qcolon Eto X$ be a covering map. If $E$ is compact then $X$ is compact and $q$ is a finite-sheeted covering.Does a “flexibly fine” open-interval cover of a compact nowhere dense set admit a disjoint finite subcover?
$begingroup$
The following is from this paper.
A bordism $B:coprod_iin I S^1 to coprod_jin J S^1$ is just a
“generalized pair of pants” - a pair of pants with one waist hole for
each $iin I$ and one leg hole for each $jin J$ Since both $I$ and
$J$ are finite sets, as required by compactness....
I assume the author is using the general topology version of compactness, i.e., the existence of a finite subcover. However, I don't see how to apply compactness to get the finiteness of $i$ and $j$ conclusion. What is the open cover and what is the finite subcover in this case? The result seems to imply that the disjoint union of $S^1$ is the finite subcover but I can't seem to make this precise.
EDIT: This is actually fairly simple, not sure what I was thinking. Basically if $i,j$ aren't finite then compactness would be violated.
general-topology mathematical-physics quantum-field-theory cobordism topological-quantum-field-theory
$endgroup$
add a comment |
$begingroup$
The following is from this paper.
A bordism $B:coprod_iin I S^1 to coprod_jin J S^1$ is just a
“generalized pair of pants” - a pair of pants with one waist hole for
each $iin I$ and one leg hole for each $jin J$ Since both $I$ and
$J$ are finite sets, as required by compactness....
I assume the author is using the general topology version of compactness, i.e., the existence of a finite subcover. However, I don't see how to apply compactness to get the finiteness of $i$ and $j$ conclusion. What is the open cover and what is the finite subcover in this case? The result seems to imply that the disjoint union of $S^1$ is the finite subcover but I can't seem to make this precise.
EDIT: This is actually fairly simple, not sure what I was thinking. Basically if $i,j$ aren't finite then compactness would be violated.
general-topology mathematical-physics quantum-field-theory cobordism topological-quantum-field-theory
$endgroup$
$begingroup$
If a manifold is compact, every infinite subset has a accumulation point. An infinite disjoint union of circles is not compact , since you can choose one point from each circle, and that set has no accumulation points. You want to start with something less heady. Try this: mat.uab.es/~kock/TQFT/FS.pdf
$endgroup$
– Charlie Frohman
Dec 14 '16 at 21:36
$begingroup$
May I ask you why you reject my edit and roll back? Thanks
$endgroup$
– Andrews
Mar 4 at 19:35
$begingroup$
@Andrews So if I understand correctly the edit was to remove the general topology tag. IMHO this question, although fairly basic, had a lot to do with general topology.
$endgroup$
– Bob
Mar 4 at 19:50
add a comment |
$begingroup$
The following is from this paper.
A bordism $B:coprod_iin I S^1 to coprod_jin J S^1$ is just a
“generalized pair of pants” - a pair of pants with one waist hole for
each $iin I$ and one leg hole for each $jin J$ Since both $I$ and
$J$ are finite sets, as required by compactness....
I assume the author is using the general topology version of compactness, i.e., the existence of a finite subcover. However, I don't see how to apply compactness to get the finiteness of $i$ and $j$ conclusion. What is the open cover and what is the finite subcover in this case? The result seems to imply that the disjoint union of $S^1$ is the finite subcover but I can't seem to make this precise.
EDIT: This is actually fairly simple, not sure what I was thinking. Basically if $i,j$ aren't finite then compactness would be violated.
general-topology mathematical-physics quantum-field-theory cobordism topological-quantum-field-theory
$endgroup$
The following is from this paper.
A bordism $B:coprod_iin I S^1 to coprod_jin J S^1$ is just a
“generalized pair of pants” - a pair of pants with one waist hole for
each $iin I$ and one leg hole for each $jin J$ Since both $I$ and
$J$ are finite sets, as required by compactness....
I assume the author is using the general topology version of compactness, i.e., the existence of a finite subcover. However, I don't see how to apply compactness to get the finiteness of $i$ and $j$ conclusion. What is the open cover and what is the finite subcover in this case? The result seems to imply that the disjoint union of $S^1$ is the finite subcover but I can't seem to make this precise.
EDIT: This is actually fairly simple, not sure what I was thinking. Basically if $i,j$ aren't finite then compactness would be violated.
general-topology mathematical-physics quantum-field-theory cobordism topological-quantum-field-theory
general-topology mathematical-physics quantum-field-theory cobordism topological-quantum-field-theory
edited Mar 11 at 20:54
Andrews
1,2691421
1,2691421
asked Dec 14 '16 at 21:21
BobBob
684410
684410
$begingroup$
If a manifold is compact, every infinite subset has a accumulation point. An infinite disjoint union of circles is not compact , since you can choose one point from each circle, and that set has no accumulation points. You want to start with something less heady. Try this: mat.uab.es/~kock/TQFT/FS.pdf
$endgroup$
– Charlie Frohman
Dec 14 '16 at 21:36
$begingroup$
May I ask you why you reject my edit and roll back? Thanks
$endgroup$
– Andrews
Mar 4 at 19:35
$begingroup$
@Andrews So if I understand correctly the edit was to remove the general topology tag. IMHO this question, although fairly basic, had a lot to do with general topology.
$endgroup$
– Bob
Mar 4 at 19:50
add a comment |
$begingroup$
If a manifold is compact, every infinite subset has a accumulation point. An infinite disjoint union of circles is not compact , since you can choose one point from each circle, and that set has no accumulation points. You want to start with something less heady. Try this: mat.uab.es/~kock/TQFT/FS.pdf
$endgroup$
– Charlie Frohman
Dec 14 '16 at 21:36
$begingroup$
May I ask you why you reject my edit and roll back? Thanks
$endgroup$
– Andrews
Mar 4 at 19:35
$begingroup$
@Andrews So if I understand correctly the edit was to remove the general topology tag. IMHO this question, although fairly basic, had a lot to do with general topology.
$endgroup$
– Bob
Mar 4 at 19:50
$begingroup$
If a manifold is compact, every infinite subset has a accumulation point. An infinite disjoint union of circles is not compact , since you can choose one point from each circle, and that set has no accumulation points. You want to start with something less heady. Try this: mat.uab.es/~kock/TQFT/FS.pdf
$endgroup$
– Charlie Frohman
Dec 14 '16 at 21:36
$begingroup$
If a manifold is compact, every infinite subset has a accumulation point. An infinite disjoint union of circles is not compact , since you can choose one point from each circle, and that set has no accumulation points. You want to start with something less heady. Try this: mat.uab.es/~kock/TQFT/FS.pdf
$endgroup$
– Charlie Frohman
Dec 14 '16 at 21:36
$begingroup$
May I ask you why you reject my edit and roll back? Thanks
$endgroup$
– Andrews
Mar 4 at 19:35
$begingroup$
May I ask you why you reject my edit and roll back? Thanks
$endgroup$
– Andrews
Mar 4 at 19:35
$begingroup$
@Andrews So if I understand correctly the edit was to remove the general topology tag. IMHO this question, although fairly basic, had a lot to do with general topology.
$endgroup$
– Bob
Mar 4 at 19:50
$begingroup$
@Andrews So if I understand correctly the edit was to remove the general topology tag. IMHO this question, although fairly basic, had a lot to do with general topology.
$endgroup$
– Bob
Mar 4 at 19:50
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Take $X=coprod_iin I S_i$ (where each $S_i$ is homeomorphic to $S^1$) with $I$ infinite. An open cover of $X$ is $C=S_i_iin I$. For any finite subset $Dsubset C$ there is some $iin I$ such that $S_inotin D$ and thus $D$ can't be a subcover. We have found a cover $C$ without finite subcover, and thus $X$ isn't compact.
$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%2f2059071%2ftopological-quantum-field-theory-compact-implies-finite-boundaries%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$
Take $X=coprod_iin I S_i$ (where each $S_i$ is homeomorphic to $S^1$) with $I$ infinite. An open cover of $X$ is $C=S_i_iin I$. For any finite subset $Dsubset C$ there is some $iin I$ such that $S_inotin D$ and thus $D$ can't be a subcover. We have found a cover $C$ without finite subcover, and thus $X$ isn't compact.
$endgroup$
add a comment |
$begingroup$
Take $X=coprod_iin I S_i$ (where each $S_i$ is homeomorphic to $S^1$) with $I$ infinite. An open cover of $X$ is $C=S_i_iin I$. For any finite subset $Dsubset C$ there is some $iin I$ such that $S_inotin D$ and thus $D$ can't be a subcover. We have found a cover $C$ without finite subcover, and thus $X$ isn't compact.
$endgroup$
add a comment |
$begingroup$
Take $X=coprod_iin I S_i$ (where each $S_i$ is homeomorphic to $S^1$) with $I$ infinite. An open cover of $X$ is $C=S_i_iin I$. For any finite subset $Dsubset C$ there is some $iin I$ such that $S_inotin D$ and thus $D$ can't be a subcover. We have found a cover $C$ without finite subcover, and thus $X$ isn't compact.
$endgroup$
Take $X=coprod_iin I S_i$ (where each $S_i$ is homeomorphic to $S^1$) with $I$ infinite. An open cover of $X$ is $C=S_i_iin I$. For any finite subset $Dsubset C$ there is some $iin I$ such that $S_inotin D$ and thus $D$ can't be a subcover. We have found a cover $C$ without finite subcover, and thus $X$ isn't compact.
answered Dec 14 '16 at 21:39
coconutcoconut
596211
596211
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%2f2059071%2ftopological-quantum-field-theory-compact-implies-finite-boundaries%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
$begingroup$
If a manifold is compact, every infinite subset has a accumulation point. An infinite disjoint union of circles is not compact , since you can choose one point from each circle, and that set has no accumulation points. You want to start with something less heady. Try this: mat.uab.es/~kock/TQFT/FS.pdf
$endgroup$
– Charlie Frohman
Dec 14 '16 at 21:36
$begingroup$
May I ask you why you reject my edit and roll back? Thanks
$endgroup$
– Andrews
Mar 4 at 19:35
$begingroup$
@Andrews So if I understand correctly the edit was to remove the general topology tag. IMHO this question, although fairly basic, had a lot to do with general topology.
$endgroup$
– Bob
Mar 4 at 19:50