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 deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite 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 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 sheaves 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.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 14th 2010

    At Urs’ urging, I have created functional analysis - contents. It needs considerable extending; and I’ve yet to include it anywhere.

    As hinted by the contents, I plan to move the diagram from TVS to its own page (but still include it on TVS).

    • CommentRowNumber2.
    • CommentAuthorTim_van_Beek
    • CommentTimeMay 14th 2010

    Here is a really dumb question for the natural speakers: Is it “barrelled” with 2 ll as in Greg’s original chart or is it “barreled” with one l as I wrote in barreled space?

    (That difference is the reason why the link in the content tabel does not work).

    • CommentRowNumber3.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 14th 2010
    • (edited May 14th 2010)

    Schafer also has ’barreled’, but I never liked that and always felt queasy when writing it. My spellchecker here doesn’t like ’barreled’ either (but then it doesn’t like ’spellchecker’ so I’m not sure I trust it completely) and does like ’barrelled’. Greg’s based in the US so I discount his spelling. My copy of Chambers has ’barrel … -ll- to put in barrels’ which I read as meaning double-l. Finally, the Official Scrabble Words lists ’barrelled’ as a valid Scrabble word but does not list ’barreled’.

    (Hmm, the above comes out a lot more “I’m British and I’m right” than I mean it to. It’s just that this precise question is something that I’ve often wondered about but never to the point of actually looking it up. Now that someone has asked about it, that’s given me the motivation to find out and so I’m recording the results of my research!)

    • CommentRowNumber4.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 14th 2010

    Actually, you already had put in a redirect for “barrelled”. It was the word “topological” that was missing (which I’ve now added).

    • CommentRowNumber5.
    • CommentAuthorTim_van_Beek
    • CommentTimeMay 14th 2010

    Greg’s based in the US so I discount his spelling.

    Yes, the Americans and English have much in common, except the language of course.

    Actually, you already had put in a redirect for “barrelled”.

    That’s an error, I started with barrelled because that’s on the chart, browsed the book by Francois Treves while writing, noticed that he has barreled and switched to barreled. I’m not advocating the concurrent use of both spellings :-)

    • CommentRowNumber6.
    • CommentAuthorTim_van_Beek
    • CommentTimeMay 14th 2010

    Here is another question: One topic that Schäfer mentions for every type of TVS are the permanence properties, which means which constructs inherit the property. Example: bornologic and barreled both “survive” inductive limits, that is the inductive limits of bornological and of barreled spaces are again bornological resp. barreled. Is there a better word or concept for this, that I could use as a subheader under “properties”?

    • CommentRowNumber7.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 14th 2010

    Given that we’re (pretending to be) category theorists, I suppose something along the lines of “Colimit Properties”, meaning properties that are inherited by colimits. There’s probably a fancy name for a subcategory of a complete/cocomplete category that is complete/cocomplete with the same colimits. It’s a bit like a closed subspace of a complete metric space being again complete. So maybe “Coclosed Properties”!

    But more seriously, I guess that the inheritances are going to vary by type quite a bit, so maybe to keep it uniform across the pages we should have a subheading “Inheritance Properties” and then say “X is inherited by constructions Y,Z”. That would make it easiest to look up different properties.

    One thing I always get tripped up by is the difference between inductive limits and those tricksy inductive sequences.

    • CommentRowNumber8.
    • CommentAuthorTim_van_Beek
    • CommentTimeMay 14th 2010

    Another example: Treves defines LF-spaces to be a countable strict inductive limit of Fréchet spaces, and remarks that for a closed liner subspace MM of a LF-space EE that is the inductive limit of spaces E nE_n, it is not true, that the topology on MM induced by EE is equal to the topology of the limit E nME_n \cap M.

    (And he writes that he himself has made this mistake a couple of times :-)

    Now we have a non-commutating diagram, what would be a good way to explain this situation?

    • CommentRowNumber9.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 14th 2010

    Yes, that’s something that’s very subtle! It’s the lynchpin of my argument in my paper on piecewise-smooth loops (well, the part about piecewise-smooth-with-unbounded-endpoints).

    I don’t follow what you mean by a “non-commutating diagram”. Which diagram are you referring to?

    (Incidentally, I should also record that having now checked in Schafer’s book, the change in Greg’s diagram that I made of ’DF-space’ to ’Dual-Frechet space’ was wrong. I’ll correct it next time I update the diagram if no-one does it before.)

    • CommentRowNumber10.
    • CommentAuthorTim_van_Beek
    • CommentTimeMay 14th 2010

    “Inheritence Properties” seems fine to me.

    • CommentRowNumber11.
    • CommentAuthorTim_van_Beek
    • CommentTimeMay 14th 2010

    I don’t follow what you mean by a “non-commutating diagram”. Which diagram are you referring to?

    Sorry, I was thinking about the arrows “taking the inductive limit” and “restrict to subspace” and as objects E,M,E n,E nME, M, E_n, E_n \cap M.

    • CommentRowNumber12.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 14th 2010

    Ah, I see.

    Being good category theorists, we could say that this is due to the fact that these arrows are taking place in different categories. The “taking the inductive limit” is going on in LCTVS, whilst “restrict to subspace” is in Top.

    There’s a possible project for us: translate all these functional analysis statements into their correct categorical ones. I suspect that this might be useful in both directions: for FA people trying to understand categorical constructions and for non-FA people trying to figure out which way the various limits and things go!

    Now, the subcategory of bornological LCTVS has a reflector (or coreflector, not sure of direction), the “bornologicification” functor. I wonder if barrel(l?)ed LCTVS has something similar. Is there a “barrellification functor”?

    • CommentRowNumber13.
    • CommentAuthorTim_van_Beek
    • CommentTimeMay 14th 2010
    • (edited May 14th 2010)

    Yes, I think so, a lc space with topology T is barreled iff any topology that has local bases consisting of T-closed sets is weaker than T. So you get a barreled space from a lc space by equipping it with the stronges lc topology aka the Mackey topology.

    • CommentRowNumber14.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 14th 2010

    Andrew #3: which Scrabble dictionary are you using? My OSPD has both the British and American spellings. (Hey, just be glad it’s in there at all!)

    For what it’s worth: the rule of thumb for the American spelling is: if the verb ends in -vc but the accent is not on the final syllable, then just add -ed or -ing, but if it is, then double the consonant. (I used to write “modelled” and “focussed” but I’ve long since changed to American, just because my life seems easier that way. (-: )

    • CommentRowNumber15.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 14th 2010

    I just like being contrary!

    It is, I confess, the UK official scrabble word list.

    I must admit, I don’t know many verbs ending in ’-vc’. Can you give me an example?

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeMay 14th 2010

    At Urs’ urging, I have created functional analysis - contents.

    Cool. Now you only need to remember to also include it! ;.)

    But I have done it now.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeMay 14th 2010
    • (edited May 14th 2010)

    Hm, well, unless of course I am misunderstanding your intentions. I think it should be the way it is now for instance at functional analysis.

    • CommentRowNumber18.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 14th 2010

    Looks good!

    • CommentRowNumber19.
    • CommentAuthorzskoda
    • CommentTimeMay 14th 2010

    The whole TOC is about (topological) vector spaces. My background to functional analysis coming from a school of Gelfand and Kirillov says that the functional analysis studies compatible topological and algebraic structures; especially those related to the function spaces of various kind. So topological rings and the study of say Pontrjagin duality for locally compact abelian groups belong to the subject, not only TVS, and they take first few chapters of textbooks like Kirillov. Do others disagree with that point of view ?

    • CommentRowNumber20.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 14th 2010
    • (edited May 14th 2010)

    Andrew #15: -vc means ending in vowel-consonant. So, “model” and the like. Sorry for the confusion!

    • CommentRowNumber21.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 14th 2010

    @Zoran: I certainly do not disagree! My knowledge of functional analysis is all on the TVS side (indeed, LCTVS), so that’s what I put in the TOC. But others should, of course, feel free to add other topics and pages that they think should be covered.

    @Todd: I guessed that there was some underlying logic like that! But the idea of a word ending ’-vc’ and there being some special rule for it amused me.

    • CommentRowNumber22.
    • CommentAuthorTim_van_Beek
    • CommentTimeMay 14th 2010

    @Zoran: I agree, functional analysis is about combining algebraic and topological structures, not only vector spaces. Therefore operator algebras as well as topological groups should eventually be added. Well, that’s the central European school that I know :-)

    The math departments that I know offer “linear operators on Hilbert spaces”, “banach algebras”, “topological vector spaces” and “topological groups” as classes and file it all under “functional analysis”.

    • CommentRowNumber23.
    • CommentAuthorzskoda
    • CommentTimeMay 14th 2010

    OK, I was already afraid I belong to some obsolete educational class of mathematical readers…we-ll update that in a while. It was a hard week for me and my strengths are about to vanish till I recharge well (not only my own but also doctor’s opinion…).

    • CommentRowNumber24.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 18th 2010

    I’ve put the diagram on its own page and included it in TVS via the include directive. I also fixed the DF bit. I tried a couple of ways to make the links proper wikilinks but the system didn’t like my attempts so I left it as it is. I’m not sure what the best way is to make the titles obviously links. There’s probably a simple CSS selector which we don’t currently have set. What is more complicated is to make the distinction between wikilinks and arbitrary links.

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeMay 18th 2010

    very nice! My candidate for the next nLab digest.

    • CommentRowNumber26.
    • CommentAuthorzskoda
    • CommentTimeMay 18th 2010

    next ? there was some already ?

    • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTimeMay 18th 2010

    well, there was 3000 things to think about. The “next” (or first, yeah) nLab digest i am thinking of as continuing this kind of post.

    • CommentRowNumber28.
    • CommentAuthorzskoda
    • CommentTimeMay 18th 2010

    The word digest may not be the best in internet setup. The digest/s of newsgroups were always having all the texts in a big file form, rather than the highlights/choice of the main streams of work&topics. The digests are also more of a report, and we should here look in future and say what some new threads in fact want to become and lure people into thgem as programs. Thus nlab highlights is kind of better catch name in my view; which may not be shared by others of course.

    • CommentRowNumber29.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 18th 2010

    (Zoran’s got a good point about the word “digest”, but perhaps it should be made over in the relevant discussion.)

    Back to the diagram: I’ve added the colour “by hand”. It seems that SVG “draws” the text rather than writing it so it isn’t recognised as text. So I’d need to hack the CSS to make it the right colour, and it’s quicker to add it in by a shell script so that’s what I’ve done for now.

    Of course, if this kind of diagram is seen as a Good Thing then it’ll be worth figuring out and adding the CSS. Note, however, that because of how SVG treats the text, fancy stuff like underlining won’t be easy. Colour and font is probably all that’s easily customisable.

    • CommentRowNumber30.
    • CommentAuthorTim_van_Beek
    • CommentTimeMay 18th 2010

    next ? there was some already ?

    The first “digest” is of course the next one to the empty set. (empty -> first digest -> second digest…)

    Note, however, that because of how SVG treats the text, fancy stuff like underlining won’t be easy. Colour and font is probably all that’s easily customisable.

    Ah, the .dot source is a Graphviz specific data format? Because in SVG itself it should be no problem to add all sorts of fancy layout to text content…

    • CommentRowNumber31.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 18th 2010

    What I meant was that the text in the SVG is rendered as a <text> element and the contents of that seems to be treated as a picture of text rather than the text itself. Thus it doesn’t seem to inherit CSS rules that ought to apply to text. In particular, using Firebug I could see that the <text> element was inheriting the CSS rule that coloured text a certain colour but the contents of the element were not getting coloured, ergo it is not text. That’s why I think that underlining is going to be tricky. Underlining text is easy, but underling a picture of text means saying “draw a line that is as long as the picture and is a little bit below”. I’m not saying it can’t be done, just that it may not be as easy as changing the colour and font.

    • CommentRowNumber32.
    • CommentAuthorTim_van_Beek
    • CommentTimeMay 18th 2010

    In particular, using Firebug I could see that the -text-element was inheriting the CSS rule that coloured text a certain colour but the contents of the element were not getting coloured, ergo it is not text.

    That’s tricky. I thought that the embedded SVG would not even inherit the CSS rule, but that the whole SVG subtree would be processed by a SVG renderer directly. The question I asked myself was if the easiest way could be to add e.g. style=”text-decoration:underline;” to the text-Element in the SVG manually, but that would mean of course that one could not generate the SVG from the .dot source anymore (without editing it manually afterwards everytime).

    • CommentRowNumber33.
    • CommentAuthorTim_van_Beek
    • CommentTimeMay 18th 2010

    It seems that the SVG-Renderer of Firefox does not render the style=”text-decoration:underline;” I added it manually and it is displayed in IE 8, but not in Firefox 3.6.3.

    • CommentRowNumber34.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 18th 2010

    Given that I send the generated svg through a perl script afterwards anyway (to strip out comments), I see no problem in adding extra stuff so long as it is done generically. What one would want, of course, is to do different styles on text-in-links to ordinary text. This is where the “cascading” bit of CSS shows its strength. For this particular diagram, it doesn’t matter as everything is a link.

    • CommentRowNumber35.
    • CommentAuthorTim_van_Beek
    • CommentTimeMay 19th 2010

    Good point. Do the comments cause trouble of some sorts? And do you see an underline in firefox when you add the tyle=”text-decoration:underline;” to one of the text-Elements?

    • CommentRowNumber36.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 19th 2010

    Instiki doesn’t allow comments when XHTML is written directly into the entries, so the comments get “escaped” and thus display. I’ll need to experiment a little to learn all the intricacies of SVGs to see what is and isn’t possible with styling - I admit I didn’t try too hard once the obvious thing didn’t work. What one would really like is to be able to put actual wikilink syntax into the SVG and have the Markdown parse it, but that needs an expansion of what’s allowed on instiki in the foreignObject tags in SVG.

    Back to the contents of the diagram, I guess what I would like is for it to be a lattice. So the fact that Frechet means “complete, metrisable lctvs” should be visible from the fact that the node for Frechet is the sup of those for complete, metrisable, and lctvs. But where the supremum doesn’t have a name, then we have an extra node. Ideally, this node would link to an example showing that the next best named thing isn’t the supremum.

    For example, looking at the diagram then the supremum of “ultrabornological” and “Frechet” is currently “Banach”. I doubt that that is true, so we’d have another node above “ultrabornological” and “Frechet” which linked to an example of a space that was an ultrabornological Frechet space that wasn’t a Banach space.

    Of course, that would entail a lot more nodes so then I think we’d have to abbreviate the names. But we can use visual information to our advantage here: boxed nodes are named concepts, round nodes are the extras.

    This could go horribly wrong, so I propose forking the current diagram and working on this new version separately. Also, it might be too big to include on the TVS page so having two versions may be no bad thing.

    I think that this could be a Really Useful Engine, I mean, Diagram (sorry, been reading too much Thomas Toget to my kids).

    • CommentRowNumber37.
    • CommentAuthorTim_van_Beek
    • CommentTimeMay 19th 2010

    …we’d have another node above “ultrabornological” and “Frechet” which linked to an example of a space that was an ultrabornological Frechet space that wasn’t a Banach space.

    plus necessary assumptions for the conclusion to be valid :-) Sounds very good, and sounds like a lifetime project, at least for someone like me :-)

    This could go horribly wrong…

    Oh dear! What could happen in the worst case scenario?

    …so I propose forking the current diagram and working on this new version separately.

    That’s probably a good idea anyway.

    …it might be too big to include on the TVS page…

    Isn’t one of the key ideas of SVG (besides being human readable and editable XML) that it is scalable and you can zoom in where you like?

    • CommentRowNumber38.
    • CommentAuthorAndrew Stacey
    • CommentTimeMay 19th 2010

    This could go horribly wrong…

    Meaning that after trying it, we may decide that it’s really yukky and not at all useful, in which case we’ll want to have the old diagram to return to. Also, while the new one is being designed, it’ll be mathematically wrong and so shouldn’t be so prominent.

    Isn’t one of the key ideas of SVG (besides being human readable and editable XML) that it is scalable and you can zoom in where you like?

    Yes, but I don’t know enough about how this all works to know if this is a good idea within a larger page, or is best on a standalone page. If you look at the diagrams in the random category on my website, you’ll see a few experiments with different display programs.

    (One could argue that all of my website is pretty random, but I mean this bit.)

    • CommentRowNumber39.
    • CommentAuthorTim_van_Beek
    • CommentTimeMay 19th 2010

    Moving the chart to a half public playground is definitly a good idea. Zooming in and zooming out will become easiear/a feature of more viewers in the future, I’m sure. (I still think that SVG will succeed as a graphics standard for the Internet). If we keep the simple chart around and point to the bigger one - with the warning that one needs a capable viewer for this - just as you suggested, people should be fine.

    A part of this project would be a transcription of counterexamples from Khaleelulla: “Counterexamples in Topological Vector Spaces”. That’s where I looked for “ultrabornological Frechet that is not Banach”: That does not seem to be there (maybe it’s too trivial).

    • CommentRowNumber40.
    • CommentAuthorTim_van_Beek
    • CommentTimeMay 19th 2010

    BTW, a short but good explanation of SVG features is this: J. David Eisenberg: “SVG essentials” (O’Reilly)

    • CommentRowNumber41.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 20th 2010

    Thomas Toget

    :) I’m just imagining Ringo narrating Thomas in Norwegian….

    • CommentRowNumber42.
    • CommentAuthorUrs
    • CommentTimeJul 15th 2011

    I have slightly expanded and slightly re-organized functional analysis - contents. Please have a look.

    • CommentRowNumber43.
    • CommentAuthorzskoda
    • CommentTimeJul 16th 2011

    Is capitalization intentional ?

    • CommentRowNumber44.
    • CommentAuthorUrs
    • CommentTimeJul 17th 2011

    Is capitalization intentional ?

    That originates with Andrew, I think.