When Does an Atlas Uniquely Define a Manifold? The Next CEO of Stack OverflowWhy maximal atlasAtlas on product manifoldWhat is the significance of incompatible coordinate charts for a manifold?Why do we require that a complex manifold has the structure of a real manifold?Problem defining a smooth m-manifold via a smooth atlasHow to define differentiable functions on manifolds?why is a differentiable manifold defined by a diffeomorphism of the charts in its Atlas?Is the maximal atlas for a topological manifold unique?Manifolds with Boundary and Maximal AtlasCan't understand the definition of equivalence of topological atlas.

Why here is plural "We went to the movies last night."

Is a stroke of luck acceptable after a series of unfavorable events?

How to get regions to plot as graphics

Grabbing quick drinks

How do I get the green key off the shelf in the Dobby level of Lego Harry Potter 2?

Should I tutor a student who I know has cheated on their homework?

How to be diplomatic in refusing to write code that breaches the privacy of our users

What is the difference between "behavior" and "behaviour"?

Why is there a PLL in CPU?

Term for the "extreme-extension" version of a straw man fallacy?

How to start emacs in "nothing" mode (`fundamental-mode`)

Horror movie/show or scene where a horse creature opens its mouth really wide and devours a man in a stables

Natural language into sentence logic

Visit to the USA with ESTA approved before trip to Iran

Trouble understanding the speech of overseas colleagues

Robert Sheckley short story about vacation spots being overwhelmed

When Does an Atlas Uniquely Define a Manifold?

Would this house-rule that treats advantage as a +1 to the roll instead (and disadvantage as -1) and allows them to stack be balanced?

Unreliable Magic - Is it worth it?

Why do professional authors make "consistency" mistakes? And how to avoid them?

Was a professor correct to chastise me for writing "Prof. X" rather than "Professor X"?

India just shot down a satellite from the ground. At what altitude range is the resulting debris field?

Can a caster that cast Polymorph on themselves stop concentrating at any point even if their Int is low?

Why doesn't a table tennis ball float on the surface? How do we calculate buoyancy here?



When Does an Atlas Uniquely Define a Manifold?



The Next CEO of Stack OverflowWhy maximal atlasAtlas on product manifoldWhat is the significance of incompatible coordinate charts for a manifold?Why do we require that a complex manifold has the structure of a real manifold?Problem defining a smooth m-manifold via a smooth atlasHow to define differentiable functions on manifolds?why is a differentiable manifold defined by a diffeomorphism of the charts in its Atlas?Is the maximal atlas for a topological manifold unique?Manifolds with Boundary and Maximal AtlasCan't understand the definition of equivalence of topological atlas.










6












$begingroup$


I am totally new to differential geometry and am having trouble understanding a very basic idea. In what follows, I apologize for being gratuitously pedantic, but I want to be sure I clearly understand what's going on.



If $M$ is a set and $T$ is a topology on $M$ such that $(M,T)$ is Hausdorff and second countable, then $M$ is a topological manifold if for all $pin M$ there exists an ordered pair $(U,x)$ such that $U subset M$ is $T$-open and $x:Urightarrow mathbbR^d$ is a homeomorphism whose image is an open subset of $mathbbR^d$ in the standard topology.



Ordered pairs $(U,x)$ that satisfy the conditions in the above paragraph are called charts on the manifold. An atlas for $M$ is a collection of charts on $M$, $A = (U_a,x_a)colon a in I$, such that $cup_alphain IU_a = M$.



Question 1: Does every manifold have at least one atlas?



My answer: I believe so, since by the definition of a manifold there exists at least one chart for each point, and the collection of either all or at least one of the charts at each point can be taken as an atlas. Perhaps however there is some technical problem in set theory with this construction.



Question 2: Does an atlas uniquely define a manifold? That is, if $A$ and $A'$ are atlases and $A neq A'$, is it necessary true that the manifolds with $(X,T)$ as their underlying space but with atlases $A$ and $A'$ respectively are different? (In the naive sense--not considering the possibility that they are diffeomorphic)



I believe the core concept I'm struggling with here is what the naive notion of equivalence is for manifolds. (For example, for topological spaces "naive equivalence" means that the two underlying sets are equal and the two topologies have exactly the same open sets, rather than the existence of a homeomorphism, which is a more sophisticated notion of equivalence.)



If instead we define a topological manifold as an ordered triple $(M,T,A)$, where $A$ is an atlas, my confusion vanishes. But then naive equivalence requires exactly the same charts in the atlas, which might be too much to reasonably say that two manifolds are the same. I've also not seen this definition in any of the references I'm using. This brings up the following question.



Question 3: Is it possible to define a manifold as an ordered triple, as in the paragraph above?










share|cite|improve this question









$endgroup$











  • $begingroup$
    "Diffeomorphic" is the wrong word if you're talking about topological manifolds--the non-naive notion of equivalence is just homeomorphism.
    $endgroup$
    – Eric Wofsey
    2 hours ago















6












$begingroup$


I am totally new to differential geometry and am having trouble understanding a very basic idea. In what follows, I apologize for being gratuitously pedantic, but I want to be sure I clearly understand what's going on.



If $M$ is a set and $T$ is a topology on $M$ such that $(M,T)$ is Hausdorff and second countable, then $M$ is a topological manifold if for all $pin M$ there exists an ordered pair $(U,x)$ such that $U subset M$ is $T$-open and $x:Urightarrow mathbbR^d$ is a homeomorphism whose image is an open subset of $mathbbR^d$ in the standard topology.



Ordered pairs $(U,x)$ that satisfy the conditions in the above paragraph are called charts on the manifold. An atlas for $M$ is a collection of charts on $M$, $A = (U_a,x_a)colon a in I$, such that $cup_alphain IU_a = M$.



Question 1: Does every manifold have at least one atlas?



My answer: I believe so, since by the definition of a manifold there exists at least one chart for each point, and the collection of either all or at least one of the charts at each point can be taken as an atlas. Perhaps however there is some technical problem in set theory with this construction.



Question 2: Does an atlas uniquely define a manifold? That is, if $A$ and $A'$ are atlases and $A neq A'$, is it necessary true that the manifolds with $(X,T)$ as their underlying space but with atlases $A$ and $A'$ respectively are different? (In the naive sense--not considering the possibility that they are diffeomorphic)



I believe the core concept I'm struggling with here is what the naive notion of equivalence is for manifolds. (For example, for topological spaces "naive equivalence" means that the two underlying sets are equal and the two topologies have exactly the same open sets, rather than the existence of a homeomorphism, which is a more sophisticated notion of equivalence.)



If instead we define a topological manifold as an ordered triple $(M,T,A)$, where $A$ is an atlas, my confusion vanishes. But then naive equivalence requires exactly the same charts in the atlas, which might be too much to reasonably say that two manifolds are the same. I've also not seen this definition in any of the references I'm using. This brings up the following question.



Question 3: Is it possible to define a manifold as an ordered triple, as in the paragraph above?










share|cite|improve this question









$endgroup$











  • $begingroup$
    "Diffeomorphic" is the wrong word if you're talking about topological manifolds--the non-naive notion of equivalence is just homeomorphism.
    $endgroup$
    – Eric Wofsey
    2 hours ago













6












6








6


1



$begingroup$


I am totally new to differential geometry and am having trouble understanding a very basic idea. In what follows, I apologize for being gratuitously pedantic, but I want to be sure I clearly understand what's going on.



If $M$ is a set and $T$ is a topology on $M$ such that $(M,T)$ is Hausdorff and second countable, then $M$ is a topological manifold if for all $pin M$ there exists an ordered pair $(U,x)$ such that $U subset M$ is $T$-open and $x:Urightarrow mathbbR^d$ is a homeomorphism whose image is an open subset of $mathbbR^d$ in the standard topology.



Ordered pairs $(U,x)$ that satisfy the conditions in the above paragraph are called charts on the manifold. An atlas for $M$ is a collection of charts on $M$, $A = (U_a,x_a)colon a in I$, such that $cup_alphain IU_a = M$.



Question 1: Does every manifold have at least one atlas?



My answer: I believe so, since by the definition of a manifold there exists at least one chart for each point, and the collection of either all or at least one of the charts at each point can be taken as an atlas. Perhaps however there is some technical problem in set theory with this construction.



Question 2: Does an atlas uniquely define a manifold? That is, if $A$ and $A'$ are atlases and $A neq A'$, is it necessary true that the manifolds with $(X,T)$ as their underlying space but with atlases $A$ and $A'$ respectively are different? (In the naive sense--not considering the possibility that they are diffeomorphic)



I believe the core concept I'm struggling with here is what the naive notion of equivalence is for manifolds. (For example, for topological spaces "naive equivalence" means that the two underlying sets are equal and the two topologies have exactly the same open sets, rather than the existence of a homeomorphism, which is a more sophisticated notion of equivalence.)



If instead we define a topological manifold as an ordered triple $(M,T,A)$, where $A$ is an atlas, my confusion vanishes. But then naive equivalence requires exactly the same charts in the atlas, which might be too much to reasonably say that two manifolds are the same. I've also not seen this definition in any of the references I'm using. This brings up the following question.



Question 3: Is it possible to define a manifold as an ordered triple, as in the paragraph above?










share|cite|improve this question









$endgroup$




I am totally new to differential geometry and am having trouble understanding a very basic idea. In what follows, I apologize for being gratuitously pedantic, but I want to be sure I clearly understand what's going on.



If $M$ is a set and $T$ is a topology on $M$ such that $(M,T)$ is Hausdorff and second countable, then $M$ is a topological manifold if for all $pin M$ there exists an ordered pair $(U,x)$ such that $U subset M$ is $T$-open and $x:Urightarrow mathbbR^d$ is a homeomorphism whose image is an open subset of $mathbbR^d$ in the standard topology.



Ordered pairs $(U,x)$ that satisfy the conditions in the above paragraph are called charts on the manifold. An atlas for $M$ is a collection of charts on $M$, $A = (U_a,x_a)colon a in I$, such that $cup_alphain IU_a = M$.



Question 1: Does every manifold have at least one atlas?



My answer: I believe so, since by the definition of a manifold there exists at least one chart for each point, and the collection of either all or at least one of the charts at each point can be taken as an atlas. Perhaps however there is some technical problem in set theory with this construction.



Question 2: Does an atlas uniquely define a manifold? That is, if $A$ and $A'$ are atlases and $A neq A'$, is it necessary true that the manifolds with $(X,T)$ as their underlying space but with atlases $A$ and $A'$ respectively are different? (In the naive sense--not considering the possibility that they are diffeomorphic)



I believe the core concept I'm struggling with here is what the naive notion of equivalence is for manifolds. (For example, for topological spaces "naive equivalence" means that the two underlying sets are equal and the two topologies have exactly the same open sets, rather than the existence of a homeomorphism, which is a more sophisticated notion of equivalence.)



If instead we define a topological manifold as an ordered triple $(M,T,A)$, where $A$ is an atlas, my confusion vanishes. But then naive equivalence requires exactly the same charts in the atlas, which might be too much to reasonably say that two manifolds are the same. I've also not seen this definition in any of the references I'm using. This brings up the following question.



Question 3: Is it possible to define a manifold as an ordered triple, as in the paragraph above?







differential-geometry manifolds differential-topology smooth-manifolds






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 3 hours ago









SZNSZN

2,748720




2,748720











  • $begingroup$
    "Diffeomorphic" is the wrong word if you're talking about topological manifolds--the non-naive notion of equivalence is just homeomorphism.
    $endgroup$
    – Eric Wofsey
    2 hours ago
















  • $begingroup$
    "Diffeomorphic" is the wrong word if you're talking about topological manifolds--the non-naive notion of equivalence is just homeomorphism.
    $endgroup$
    – Eric Wofsey
    2 hours ago















$begingroup$
"Diffeomorphic" is the wrong word if you're talking about topological manifolds--the non-naive notion of equivalence is just homeomorphism.
$endgroup$
– Eric Wofsey
2 hours ago




$begingroup$
"Diffeomorphic" is the wrong word if you're talking about topological manifolds--the non-naive notion of equivalence is just homeomorphism.
$endgroup$
– Eric Wofsey
2 hours ago










1 Answer
1






active

oldest

votes


















4












$begingroup$

For Question 1, you are right. For instance, you can just take the set of all charts on $(M,T)$ and they will be an atlas.



For Questions 2 and 3, as you have defined a topological manifold, a topological manifold is just a topological space which satisfies certain properties. So, an atlas doesn't actually have anything to do with what a topological manifold is (an atlas just happens to exist on any topological manifold). Two manifolds are equal iff they are equal as topological spaces.



That said, no one actually cares about equality of manifolds. What people actually care about is whether two manifolds are homeomorphic (or more specifically, whether specific maps between them are homeomorphisms). In other words, the "naive equivalence" you are asking about is not important for any applications. As a result, it's perfectly fine to use a definition as you propose in Question 3, where an atlas is part of what a manifold is. This will change what equality of manifolds means (i.e., "naive equivalence") but will not change the notion of equivalence that actually matters, which is homeomorphism.



In the language of category theory, you can define a category $Man$ whose objects are topological manifolds (according to your original definition) and whose maps are continuous maps. You can also define a category $Man'$ whose objects are topological manifolds together with an atlas and whose maps are continuous maps. There is a forgetful functor $F:Man'to Man$ which forgets the atlas. This functor is not an isomorphism of categories, but it is an equivalence of categories, which is good enough for everything people ever want to do with manifolds.




As a final remark, atlases are pretty irrelevant to the study of topological manifolds. The reason atlases are important is to define smooth manifolds, which impose some additional conditions on what kind of atlases are allowed. A smoooth manifold cannot be defined as just a topological space, but instead must be defined as a topological space together with an atlas satisfying certain assumptions (or a topological space together with some other additional structure equivalent to an atlas).






share|cite|improve this answer









$endgroup$













    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
    );



    );













    draft saved

    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3166644%2fwhen-does-an-atlas-uniquely-define-a-manifold%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









    4












    $begingroup$

    For Question 1, you are right. For instance, you can just take the set of all charts on $(M,T)$ and they will be an atlas.



    For Questions 2 and 3, as you have defined a topological manifold, a topological manifold is just a topological space which satisfies certain properties. So, an atlas doesn't actually have anything to do with what a topological manifold is (an atlas just happens to exist on any topological manifold). Two manifolds are equal iff they are equal as topological spaces.



    That said, no one actually cares about equality of manifolds. What people actually care about is whether two manifolds are homeomorphic (or more specifically, whether specific maps between them are homeomorphisms). In other words, the "naive equivalence" you are asking about is not important for any applications. As a result, it's perfectly fine to use a definition as you propose in Question 3, where an atlas is part of what a manifold is. This will change what equality of manifolds means (i.e., "naive equivalence") but will not change the notion of equivalence that actually matters, which is homeomorphism.



    In the language of category theory, you can define a category $Man$ whose objects are topological manifolds (according to your original definition) and whose maps are continuous maps. You can also define a category $Man'$ whose objects are topological manifolds together with an atlas and whose maps are continuous maps. There is a forgetful functor $F:Man'to Man$ which forgets the atlas. This functor is not an isomorphism of categories, but it is an equivalence of categories, which is good enough for everything people ever want to do with manifolds.




    As a final remark, atlases are pretty irrelevant to the study of topological manifolds. The reason atlases are important is to define smooth manifolds, which impose some additional conditions on what kind of atlases are allowed. A smoooth manifold cannot be defined as just a topological space, but instead must be defined as a topological space together with an atlas satisfying certain assumptions (or a topological space together with some other additional structure equivalent to an atlas).






    share|cite|improve this answer









    $endgroup$

















      4












      $begingroup$

      For Question 1, you are right. For instance, you can just take the set of all charts on $(M,T)$ and they will be an atlas.



      For Questions 2 and 3, as you have defined a topological manifold, a topological manifold is just a topological space which satisfies certain properties. So, an atlas doesn't actually have anything to do with what a topological manifold is (an atlas just happens to exist on any topological manifold). Two manifolds are equal iff they are equal as topological spaces.



      That said, no one actually cares about equality of manifolds. What people actually care about is whether two manifolds are homeomorphic (or more specifically, whether specific maps between them are homeomorphisms). In other words, the "naive equivalence" you are asking about is not important for any applications. As a result, it's perfectly fine to use a definition as you propose in Question 3, where an atlas is part of what a manifold is. This will change what equality of manifolds means (i.e., "naive equivalence") but will not change the notion of equivalence that actually matters, which is homeomorphism.



      In the language of category theory, you can define a category $Man$ whose objects are topological manifolds (according to your original definition) and whose maps are continuous maps. You can also define a category $Man'$ whose objects are topological manifolds together with an atlas and whose maps are continuous maps. There is a forgetful functor $F:Man'to Man$ which forgets the atlas. This functor is not an isomorphism of categories, but it is an equivalence of categories, which is good enough for everything people ever want to do with manifolds.




      As a final remark, atlases are pretty irrelevant to the study of topological manifolds. The reason atlases are important is to define smooth manifolds, which impose some additional conditions on what kind of atlases are allowed. A smoooth manifold cannot be defined as just a topological space, but instead must be defined as a topological space together with an atlas satisfying certain assumptions (or a topological space together with some other additional structure equivalent to an atlas).






      share|cite|improve this answer









      $endgroup$















        4












        4








        4





        $begingroup$

        For Question 1, you are right. For instance, you can just take the set of all charts on $(M,T)$ and they will be an atlas.



        For Questions 2 and 3, as you have defined a topological manifold, a topological manifold is just a topological space which satisfies certain properties. So, an atlas doesn't actually have anything to do with what a topological manifold is (an atlas just happens to exist on any topological manifold). Two manifolds are equal iff they are equal as topological spaces.



        That said, no one actually cares about equality of manifolds. What people actually care about is whether two manifolds are homeomorphic (or more specifically, whether specific maps between them are homeomorphisms). In other words, the "naive equivalence" you are asking about is not important for any applications. As a result, it's perfectly fine to use a definition as you propose in Question 3, where an atlas is part of what a manifold is. This will change what equality of manifolds means (i.e., "naive equivalence") but will not change the notion of equivalence that actually matters, which is homeomorphism.



        In the language of category theory, you can define a category $Man$ whose objects are topological manifolds (according to your original definition) and whose maps are continuous maps. You can also define a category $Man'$ whose objects are topological manifolds together with an atlas and whose maps are continuous maps. There is a forgetful functor $F:Man'to Man$ which forgets the atlas. This functor is not an isomorphism of categories, but it is an equivalence of categories, which is good enough for everything people ever want to do with manifolds.




        As a final remark, atlases are pretty irrelevant to the study of topological manifolds. The reason atlases are important is to define smooth manifolds, which impose some additional conditions on what kind of atlases are allowed. A smoooth manifold cannot be defined as just a topological space, but instead must be defined as a topological space together with an atlas satisfying certain assumptions (or a topological space together with some other additional structure equivalent to an atlas).






        share|cite|improve this answer









        $endgroup$



        For Question 1, you are right. For instance, you can just take the set of all charts on $(M,T)$ and they will be an atlas.



        For Questions 2 and 3, as you have defined a topological manifold, a topological manifold is just a topological space which satisfies certain properties. So, an atlas doesn't actually have anything to do with what a topological manifold is (an atlas just happens to exist on any topological manifold). Two manifolds are equal iff they are equal as topological spaces.



        That said, no one actually cares about equality of manifolds. What people actually care about is whether two manifolds are homeomorphic (or more specifically, whether specific maps between them are homeomorphisms). In other words, the "naive equivalence" you are asking about is not important for any applications. As a result, it's perfectly fine to use a definition as you propose in Question 3, where an atlas is part of what a manifold is. This will change what equality of manifolds means (i.e., "naive equivalence") but will not change the notion of equivalence that actually matters, which is homeomorphism.



        In the language of category theory, you can define a category $Man$ whose objects are topological manifolds (according to your original definition) and whose maps are continuous maps. You can also define a category $Man'$ whose objects are topological manifolds together with an atlas and whose maps are continuous maps. There is a forgetful functor $F:Man'to Man$ which forgets the atlas. This functor is not an isomorphism of categories, but it is an equivalence of categories, which is good enough for everything people ever want to do with manifolds.




        As a final remark, atlases are pretty irrelevant to the study of topological manifolds. The reason atlases are important is to define smooth manifolds, which impose some additional conditions on what kind of atlases are allowed. A smoooth manifold cannot be defined as just a topological space, but instead must be defined as a topological space together with an atlas satisfying certain assumptions (or a topological space together with some other additional structure equivalent to an atlas).







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 2 hours ago









        Eric WofseyEric Wofsey

        191k14216349




        191k14216349



























            draft saved

            draft discarded
















































            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.




            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3166644%2fwhen-does-an-atlas-uniquely-define-a-manifold%23new-answer', 'question_page');

            );

            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







            Popular posts from this blog

            名間水力發電廠 目录 沿革 設施 鄰近設施 註釋 外部連結 导航菜单23°50′10″N 120°42′41″E / 23.83611°N 120.71139°E / 23.83611; 120.7113923°50′10″N 120°42′41″E / 23.83611°N 120.71139°E / 23.83611; 120.71139計畫概要原始内容臺灣第一座BOT 模式開發的水力發電廠-名間水力電廠名間水力發電廠 水利署首件BOT案原始内容《小檔案》名間電廠 首座BOT水力發電廠原始内容名間電廠BOT - 經濟部水利署中區水資源局

            Prove that NP is closed under karp reduction?Space(n) not closed under Karp reductions - what about NTime(n)?Class P is closed under rotation?Prove or disprove that $NL$ is closed under polynomial many-one reductions$mathbfNC_2$ is closed under log-space reductionOn Karp reductionwhen can I know if a class (complexity) is closed under reduction (cook/karp)Check if class $PSPACE$ is closed under polyonomially space reductionIs NPSPACE also closed under polynomial-time reduction and under log-space reduction?Prove PSPACE is closed under complement?Prove PSPACE is closed under union?

            Is my guitar’s action too high? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)Strings too stiff on a recently purchased acoustic guitar | Cort AD880CEIs the action of my guitar really high?Μy little finger is too weak to play guitarWith guitar, how long should I give my fingers to strengthen / callous?When playing a fret the guitar sounds mutedPlaying (Barre) chords up the guitar neckI think my guitar strings are wound too tight and I can't play barre chordsF barre chord on an SG guitarHow to find to the right strings of a barre chord by feel?High action on higher fret on my steel acoustic guitar