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
    • CommentTimeJan 16th 2012

    looks like I started extremum

    (I wanted minimum not to be gray at higher dimensional Chern-Simons theory…)

    • CommentRowNumber2.
    • CommentAuthorTobyBartels
    • CommentTimeJan 17th 2012

    I added an introductory bit.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeJan 17th 2012
    • (edited Jan 17th 2012)

    The typical setup in nonlinear analysis and optimization (which is the math of extremal values) is in fact not globally smooth as the entry asserts. A more typical setup is the analysis of convex functions, piecewise convexity etc. In smooth setup one emphasizes on critical points. In particular, the saddle point is critical, but not even locally extremal, unlike what the title of the section suggests.

    • CommentRowNumber4.
    • CommentAuthorTobyBartels
    • CommentTimeJan 17th 2012

    I don’t think that anything there asserts that the typical setup is globally smooth. The section that Urs wrote, of course, focusses on the C 2C^2-functions, which is enough to emphasise critical points, justifying a brief mention of saddle points. But I would regard that section as just a small part of what ought to be at that page.

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeJan 17th 2012
    • (edited Jan 17th 2012)

    In idea section: ” these terms are typically used in an analytic context”

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJan 17th 2012
    • (edited Jan 17th 2012)

    In idea section: ” these terms are typically used in an analytic context”

    What is meant is analysis not analytic functions (as the hyperlink also shows). But let’s add clarification.

    • CommentRowNumber7.
    • CommentAuthorTobyBartels
    • CommentTimeJan 18th 2012

    I changed it to say ‘typically used in analysis’, which is better language anyway.

    • CommentRowNumber8.
    • CommentAuthorzskoda
    • CommentTimeJan 18th 2012
    • (edited Jan 18th 2012)

    Thanks, but I still disagree mathematically and terminologically with the second section “Local extrema…”. First, saddle point is a critical point and not a local extremum at all, hence it should not be listed as a case of local extremum (by the definition in the entry!), but as a case of a critical point. Second, the entry says that we say that something is a strict local maximum if Hessian is negative definite. First, this is not a definition, but a result and the result is not quite right as stated, namely it may be that the Hessian is zero but still one has strict local maximum, for that one looks at higher derivatives. Thus the Hessian being negative definite is a sufficient condition only, and this is so not by the definition, but by a theorem of sufficiency. Do we agree ?

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeJan 18th 2012

    Do we agree ?

    Sure. I would still keep the saddle point there for completeness of that list, and just add a sentence saying that this is not regarded as a local extremum.

    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeJan 18th 2012

    It is not about regarding case by case but about fullfilling the general definition which is above.

    • CommentRowNumber11.
    • CommentAuthorzskoda
    • CommentTimeJan 18th 2012
    • if H x(f)H_x(f) is an indefinite form, then xx is called a nondegenerate saddle point.

    This is not true if indefinite = not definite. Hessian can be identical to zero and that we still have the local extremum. For that we need to look at higher derivatives. If however we define (strictly?) indefinite as having both strictly positive and strictly negative eigenvalues then it is true. I do not know what are the conventions on “indefinite” ?

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJan 18th 2012

    Zoran, just go ahead and make the changes that you find necessary.

    If you decide to remove any mentioning of saddle points, I will put them back in under “related concepts” or something.

    • CommentRowNumber13.
    • CommentAuthorzskoda
    • CommentTimeJan 18th 2012
    • (edited Jan 18th 2012)

    I do NOT know what are the conventions on INDEFINITE (see 11), that is why I asked, and can not supply information about which I do not know – a person who used it should supply his/her definition in this discussion as we disagree. What is the use of nForum if it is not to build the knowledge by consensus but to say “do it alone” ?? Should I sign out from nForum ? Thanks for discouraging dicussion.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJan 18th 2012
    • (edited Jan 18th 2012)

    Hey, I didn’t understand that you are actually asking about what the right definition is. I thought you kept complaining that we mention saddle points. I didn’t even see #11 when posting my previous one.

    • CommentRowNumber15.
    • CommentAuthorzskoda
    • CommentTimeJan 18th 2012
    • (edited Jan 18th 2012)

    No saddle point should be mentioned, but the facts should be made straight. And my opinion was we need to discuss to make things straight, it is not far from where we get. P.S. the entry is partly corrected but the indefinite part is open. I also do not quite understand what is the meaning of “nondegenerate” when referring to a saddle point.

    • CommentRowNumber16.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 18th 2012

    Zoran and Urs, I tried to do some rewriting here. I hope I got everything right and that this is satisfactory, but let me know if not. In particular, the mention of saddle points is relegated to a parenthetical comment, just to round out discussion of nondegenerate critical points, as Urs wanted, but no more.

    • CommentRowNumber17.
    • CommentAuthorzskoda
    • CommentTimeJan 18th 2012

    Oh great, your careful degeneracy treatment has solved the remaning questions in my view. I should have known this, but forgot.

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeJan 19th 2012

    Thanks, Todd, for taking the time.

    • CommentRowNumber19.
    • CommentAuthorTobyBartels
    • CommentTimeJan 20th 2012

    If however we define indefinite as having both strictly positive and strictly negative eigenvalues

    This is the meaning as I understand it. Compare at inner product (where the general definition is incomplete but the case for an inner product valued in an ordered field is covered).

    • CommentRowNumber20.
    • CommentAuthorTobyBartels
    • CommentTimeJan 20th 2012

    I moved the definition of a strict extremum out of the discussion of C 2C^2-functions and into the introduction, since it too applies generally.