Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeApr 29th 2012
    • CommentRowNumber2.
    • CommentAuthorTobyBartels
    • CommentTimeMay 3rd 2012

    I expanded on this in a couple of ways.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2012

    Thanks, nice!

    I have created a stub for pointless topology just so as to keep the link from being grey.

    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeMay 8th 2012

    Let SS be a topological subspace SR nS\subset \mathbf{R}^n of a Cartesian space.

    I find “of a Cartesian space” both superfluous and confusing as it is already written that it is a subset of R n\mathbf{R}^n and the topology there is standard for most of the Earth’s mathematicians. On the other hand, I have never seen in the literature outside of ncat community expression “Cartesian space” for R n\mathbf{R}^n and when I read this then I start clicking to find out what it is, as it looks to me that maybe a greater generality is hidden somewhere in the statement. So I was confused when reading the statement.

    • CommentRowNumber5.
    • CommentAuthorTobyBartels
    • CommentTimeMay 8th 2012

    You’re not missing anything. I think that the main for saying the words “Cartesian space” is to have something to put the link on. (I forget if Urs or I put those words in.)

    The only really standard term for a Cartesian space is the symbol “ n\mathbb{R}^n”, but it’s nice to have a word too, and the concept is closely associated with Descartes. Some people say “Euclidean space”, but that has another meaning which is more appropriate for Euclid (who used no coordinates).

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMay 8th 2012
    • (edited May 8th 2012)

    Yes, I agree with Toby. On the nnLab I happily link even to terms that I find dead-standard. Because somebody may come who does not know the term.

    Maybe better would be in this case here to have the symbol “ N\mathbb{R}^N” be hyperlinked. But that’s not really possible, is it. And not really nicer, either, I find.

    You know, it even gives me a little pain each time that an entry says “letnlet n \in \mathbb{Z}” without linking to integer. Because, optimally, every single technical point would be linked to its explanation. Who knows, next time the 10-year old genius-to-be comes reading our nnLab pages and wants to know what N\mathbb{R}^N denotes, or what \mathbb{Z} denotes. In any case, links are what a wiki is for. Books without hyperlinks we had enough. And it slowed mankind down for long enough.

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeMay 9th 2012
    • (edited May 9th 2012)

    Look, it scares me when I see a text with lots of unfamiliar words like Cartesian space. What about people who are much less new-definition and theory friendly, as most mathematicians are ? If a word is not necessary it can be linked in brackets, then one knows it is not important to know it. It looked to me that one is pointing to a more general context of some beasts called Cartesian spaces, to which the classical Heine-Borel is generalized. If Cartesian were in brackets rather than a part of the linear statement, I would neglect it and maybe even learn without clicking. Clicking may be easy for some, but to me, who does more than half of the work from bad connections, sometimes a new loading of a page may mean a couple of minutes freeze of a browser. And yes, I think we should be able to link eventually somehow from symbols (Urs, you were always more of a technology optimist than I, don’t give up this time), even from formulas.

    • CommentRowNumber8.
    • CommentAuthorMike Shulman
    • CommentTimeMay 9th 2012

    What about “Let S be a topological subspace of a Cartesian space, i.e. S nS\subseteq \mathbb{R}^n for some nn\in\mathbb{N}”? The “i.e.” clues the reader that nothing more is being said by the first phrase than the second, hence “Cartesian space” must refer to n\mathbb{R}^n.

    • CommentRowNumber9.
    • CommentAuthorzskoda
    • CommentTimeMay 9th 2012
    • (edited May 9th 2012)

    That is much better. Even more familiar textbook phrase is also “subspace SS of real nn-dimensional space R n\mathbf{R}^n.

    • CommentRowNumber10.
    • CommentAuthorMirco Richter
    • CommentTimeMay 9th 2012
    • (edited May 9th 2012)

    Guess the most popular name is just “coordinate space” for the n\mathbb{R}^n’s, because that’s the term you lerned in ’undergraduate’ . Obviously the reason are the base isomorphisms from any vector space into an apropriate n\mathbb{R}^n.

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeMay 9th 2012

    a text with lots of unfamiliar words like Cartesian space

    I was not aware that you count “Cartesian space” as an “unfamilar word”!

    • CommentRowNumber12.
    • CommentAuthorzskoda
    • CommentTimeMay 9th 2012
    • (edited May 9th 2012)

    Hmm, I am unfamiliar with “coordinate space” terminology either. Are you then unfamiliar in a similar vain with “real nn-dimensional space” ?

    Urs: I know that it was appearing in a context of smooth spaces, but after not seeing it for a while, I am never sure which one is which (what is the restriction on morphisms, do we count smooth structure or not, and is it for presheaves or for original test spaces). So at first I thought that it is a synonym for a smooth space, thus that the intended theorem is a generalization.

    • CommentRowNumber13.
    • CommentAuthorMirco Richter
    • CommentTimeMay 9th 2012

    “real n-dimensional space” is not unique to n\mathbb{R}^n but points to any vector space isomorphic to n\mathbb{R}^n.

    • CommentRowNumber14.
    • CommentAuthorzskoda
    • CommentTimeMay 9th 2012
    • (edited May 9th 2012)

    Then I would say “a real nn-dimensional vector space”. Maybe one should emphasize “the” ?

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeMay 9th 2012
    • (edited May 9th 2012)

    But wait, “Cartesian space” is a dead standard term no? Here this is taught in high school. Analytic geometry.

    Whether you take the maps betwen them to be continuous, smooth or linear depends, no matter how you call it.

    • CommentRowNumber16.
    • CommentAuthorMike Shulman
    • CommentTimeMay 9th 2012

    I didn’t learn “coordinate space” or “Cartesian space” in high school or undergraduate. We called it “ n\mathbb{R}^n”.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeMay 9th 2012

    But you say “cartesian coordinates” in schood, don’t you?

    • CommentRowNumber18.
    • CommentAuthorTobyBartels
    • CommentTimeMay 9th 2012

    Before reading Mike #8, I reacted to Zoran #7 by editing things in a similar line.

    @Urs: Although I very much like the term “Cartesian space”, I learnt it only from you. Maybe it’s a German thing?

    • CommentRowNumber19.
    • CommentAuthorMike Shulman
    • CommentTimeMay 9th 2012

    Yes, “cartesian coordinates” sometimes, but just as often “rectangular coordinates” or just “coordinates”. And not “cartesian space”.

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeMay 9th 2012

    Okay, I see. I wasn’t aware of that. I thought I was using a common term.

    • CommentRowNumber21.
    • CommentAuthorUrs
    • CommentTimeApr 19th 2017
    • (edited Apr 19th 2017)

    I have spelled out a classical proof of the Heine-Borel theorem, here

  1. adding a sentence about the Heine-Borel theorem in dependent type theory using the inductive covers higher inductive type

    Anonymous

    diff, v13, current

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeNov 23rd 2022
    • (edited Nov 23rd 2022)

    I have added pointer (here) from your paragraph to the reference, so that it does not look like an unbased claim

    diff, v14, current