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.
    • CommentAuthorMike Shulman
    • CommentTimeDec 4th 2014

    A little bit of a page at infinite product, mainly just a definition, which leads me to ask a question: how do we define convergence of an infinite product in constructive mathematics? The definition seems to depend on decidability of =0=0.

    • CommentRowNumber2.
    • CommentAuthorDavidRoberts
    • CommentTimeDec 4th 2014
    • (edited Dec 4th 2014)

    Is there any reason you’d not want to use the definition using sums of logarithms, as Wikipedia does? Though I suppose that only makes sense for real numbers as it stands. To make it work for complex numbers, you’d have to pick a branch cut avoiding all terms of the sequence. Then I suppose the constructive domain of the logarithm makes itself felt. Certainly if all the terms are apart from 0 (or have absolute value apart from 0) it’s ok.

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeDec 4th 2014

    Yes, using logarithms makes perfect sense for complex numbers, although you do want to be sure that the branch you choose agrees with the principal branch along the positive real line (otherwise log10\log 1 \neq 0 and your series is never going to converge). But for products that involve some terms that might be zero, the classical thing to do is to ignore those terms when considering convergence but allow the value of the product to then be zero; but constructively, how can we decide which terms to ignore?

    • CommentRowNumber4.
    • CommentAuthorDavidRoberts
    • CommentTimeDec 4th 2014

    What sort of real do you want it to converge to? Perhaps if we don’t have a proof that all the terms are apart from zero, we cannot prove it converges (or converges to something apart from zero).

    • CommentRowNumber5.
    • CommentAuthorMike Shulman
    • CommentTimeDec 4th 2014

    Here’s a more concrete situation. Suppose I know that a 1,a 2,a_1, a_2, \dots are all apart from 0 and that k=1 a k\prod_{k=1}^\infty a_k converges (in the obvious sense of a limit of partial products) to some limit LL that is also apart from 0. I would like to be able to prove that k=0 a k\prod_{k=0}^\infty a_k converges to the product a 0La_0 L. With the classical definition, I have to divide into cases: if a 0=0a_0=0, then k=1 a k\prod_{k=1}^\infty a_k converges to LL by ignoring a 0a_0, and then k=0 a k\prod_{k=0}^\infty a_k converges to 0; whereas if a 00a_0\neq 0, then k=0 a k\prod_{k=0}^\infty a_k converges to a 0La_0 L directly (as a limit of partial products). Is there a constructive definition of infinite products that would allow me to prove this fact? It sure seems like k=0 a k=a 0 k=1 a k\prod_{k=0}^\infty a_k = a_0 \cdot \prod_{k=1}^\infty a_k shouldn’t depend on knowing that a 0a_0 is either 0 or apart from 0!

    • CommentRowNumber6.
    • CommentAuthorSridharRamesh
    • CommentTimeDec 4th 2014
    • (edited Dec 4th 2014)

    Like David, I don’t understand what’s wrong with taking the infinite product to simply be the limit of partial products, calling it “convergent” if you like when this result is nonzero, and considering a result of zero to be a form of “divergence”. This is precisely what you would get by thinking about infinite summation in the ordinary way in logarithm world, considering zero to have infinite (and thus divergent) logarithm.

    [I’ll also note that, if one does want to explicitly phrase things in terms of logarithms, we needn’t worry about branch cuts at all; simply take logarithms of nonzero complex numbers to be elements of the quotient group of the complex numbers by the subgroup generated by 2πi2\pi i, with obvious corresponding notion of infinite summation. There’s no reason to choose representatives from this quotient.]

    • CommentRowNumber7.
    • CommentAuthorMike Shulman
    • CommentTimeDec 4th 2014

    The point is that the product 01110\cdot 1 \cdot 1\cdot 1\cdots should converge to 0, while the product 11213141 \cdot \frac1 2 \cdot \frac1 3 \cdot \frac1 4 \cdots should diverge (“to 0”), but in both cases the partial products have a limit of 0. The reason we want the first one to converge is because we want to define analytic functions by infinite products and allow those functions to have zeros (that being the point of the Weierstrass product theorem). How do you distinguish those cases constructively?

    • CommentRowNumber8.
    • CommentAuthorSridharRamesh
    • CommentTimeDec 4th 2014
    • (edited Dec 5th 2014)

    I see. In that case, you could say a sequence converges if, for sufficiently large n, tossing out its first n factors yields a nonzero limiting product. The value converged to will, of course, be the limiting product when tossing out no factors. This is equivalent to the definition given in the article, but makes it easy to constructively prove what was desired: convergence is now manifestly a tail-property, so that k=0 a k\prod_{k = 0}^{\infty} a_k converges just in case k=1 a k\prod_{k = 1}^{\infty} a_k converges. And, for convergent sequences, the value converged to is given by the usual limit, so that we furthermore have that k=0 a k=a 0 k=1 a k\prod_{k = 0}^{\infty} a_k = a_0 \prod_{k = 1}^{\infty} a_k.

    • CommentRowNumber9.
    • CommentAuthorMike Shulman
    • CommentTimeDec 5th 2014

    Thanks! Biking home today I came to more or less the same conclusion: my idea was to say that the product converges if (1) there is a cofinite subset of \mathbb{N} on which a ka_k is apart from 0, and (2) the series of logarithms converges when restricted to that subset. I guess that’s probably about the same – I assume the logarithm is only defined constructively on numbers apart from 0.

    (I feel like if I were a real constructive analyst, I would have thought of this immediately… (-: )

    • CommentRowNumber10.
    • CommentAuthorNikolajK
    • CommentTimeApr 14th 2015
    • (edited Apr 14th 2015)

    Is there a name for the operation

    lim N k=0 Na k(N)\lim_{N\to\infty}\prod_{k=0}^N a_k(N),

    akin to the definition of the infinite product, but where one extends the definition as such that the terms being multiplied may be functions of the upper bound NN? For example, in the calculation of some path integrals one may use

    lim N n=0 N1(1+x nN)=exp(lim N1N n=0 N1x n)\lim_{N\to\infty} \prod_{n=0}^{N-1} \left(1+\frac{x_n}{N}\right)= \exp\left(\lim_{N\to\infty}\frac{1}{N}\sum_{n=0}^{N-1}x_n\right)

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeApr 15th 2015

    Probably there is no special terminology for this case, but of course it’s hard to exclude that somebody somewhere proposed something. But I think it’s a good point that infinite products of this more general kind should be mentioned in the entry, as they are important.

    • CommentRowNumber12.
    • CommentAuthorMike Shulman
    • CommentTimeApr 15th 2015

    While it’s certainly an important notion, I’m dubious about calling it an “infinite product” of any sort.

    • CommentRowNumber13.
    • CommentAuthorNikolajK
    • CommentTimeApr 16th 2015
    • (edited Apr 16th 2015)

    @Mike: I now found a reference for a large class of similar constructions of the form lim N k=0 Na k(N)\lim_{N\to \infty}\sum_{k=0}^{N} a_k(N). They denote it by a stylized \int for sum, however I’m dubious about calling it an “infinite sum” of any sort. :)

    edit: Okay, I now found a reference to the idea, the above is akin to a Type II Volterra product integral. Oh, it has its own calculus with fundamental theorem and all.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeApr 16th 2015
    • (edited Apr 16th 2015)

    I don’t think that not mentioning something that people will tend to expect just because on strict erudite grounds they may be wrong to expect it is a good idea for a wiki like the nnLab.

    A little googling demostrates that path integral textbooks will easily speak of “infinite products” for the thing in #10, and I don’t find it surprising.

    • CommentRowNumber15.
    • CommentAuthorNikolajK
    • CommentTimeApr 16th 2015
    • (edited Apr 16th 2015)

    I’m thinking about the topic because by a telescoping argument I “discovered” the formula of how to truncate a product additively at any mid point MM, actually turning them to sums with finitely computable summands. Namely

    k=K b k= k=K M1b k+ n=M (b n1) k=K n1b k\prod_{k=K}^\infty b_k = \prod_{k=K}^{M-1}b_k+\sum_{n=M}^\infty(b_n-1)\,\prod_{k=K}^{n-1}b_k

    I surprised some people on MathOverflow/StackExchange with idenitities like

    k=0 (1+1k!)=7+ n=4 1n! k=0 n1(1+1k!)\prod_{k=0}^\infty \left( 1 + \frac {1} {k!} \right) = 7 + \sum_{n=4}^\infty \frac {1} {n!}\,\prod_{k=0}^{n-1} \left( 1 + \frac {1} {k!} \right),

    k=1 (1+1k k)=703 3+ n=4 1n n k=1 n1(1+1k!)\prod_{k=1}^\infty \left( 1 + \frac {1} {k^k} \right) = \frac {70} {3^3} + \sum_{n=4}^\infty \frac {1} {n^n}\,\prod_{k=1}^{n-1} \left( 1 + \frac {1} {k!} \right).

    This implies accurate approximations that are easy to reason about, such as k=1 (1+1k k)703 3(1+ n=4 1n n)\prod_{k=1}^\infty \left( 1 + \frac {1} {k^k} \right) \approx \frac {70} {3^3} \left( 1+ \sum_{n=4}^\infty \frac {1} {n^n}\right).

    and I’m wondering who knew it before. My derivation uses an infinite upper bound, but that might not be necessary. I also want to find the NN dependent version of that tool.

    • CommentRowNumber16.
    • CommentAuthorMike Shulman
    • CommentTimeApr 16th 2015

    @Nicolai #13: is that supposed to be a snarky argument that because integrals are related to sums, this is related to products? I don’t dispute that it’s related to products, but I think you’ve actually made my case, because integrals are not called “infinite products”; they have their own name “integral” and their own symbol \int which is, as you say, a stylized sort of “S” for sum. It appears from your reference that the same is true here; these things are called “product integrals”? I’m not against mentioning this thing on the page infinite product, I just don’t think it should be called an “infinite product”.

    • CommentRowNumber17.
    • CommentAuthorNikolajK
    • CommentTimeApr 16th 2015

    @Myke: I didn’t want to sound snarky, sorry if it came across that way. In fact I never even proposed to call them infinite product, I was just pointing out that it’s not so far fetched.

    • CommentRowNumber18.
    • CommentAuthorMike Shulman
    • CommentTimeApr 16th 2015

    Ok, sorry if I misinterpreted. (-: Feel free to create a page about product integrals and add a link to it from infinite product!

    • CommentRowNumber19.
    • CommentAuthorNikolajK
    • CommentTimeApr 16th 2015
    • (edited Apr 16th 2015)

    Yeah I might do that once I’m done with my quest of uniting the tool. Not sure about nPOV here, though.


    The theorems on that Wikipedia page tell you how product integral translate to sums, e.g.

    a b(1+f(x)dx)=exp( a bf(x)dx)\prod_a^b (1+f(x)\,dx) =\exp\left(\int_a^b f(x) \, dx\right),

    (where we know how to expand the exponential as a sum)

    and the formula in #15 I deviced above also translates an actual product to a sum. In fact the “infinite product is really an infinite sum of terms involving finite products” is akin to the Dyson series

    |Ψ(t)= n=0 (i) nn!( k=1 n t 0 tdt k)𝒯{ k=1 ne iH 0t kVe iH 0t k}|Ψ(t 0).|\Psi(t)\rangle=\sum_{n=0}^\infty {(-i)^n\over n!}\left(\prod_{k=1}^n \int_{t_0}^t dt_k\right) \mathcal{T}\left\{\prod_{k=1}^n e^{iH_0 t_k}Ve^{-iH_0 t_k}\right \}|\Psi(t_0)\rangle.

    It makes me question if there are limits of products at all, or if they all have some additive normal form. (Might relate to expansion and infinite factorizaiton of holomorphic objects.)

    I played with the product integral in Mathematica and it has a hard time evaluating stuff. Product integrating 3x 23x^2 takes alomst a second (=long) and gives exp(326)\exp(326) or something (as the formula claims). What’s notable is that many of the product integrals evaluate to terms involving Pochhammer symbols. Now there are some notable product->sum translations involving those. One is lead to looking up classical formulas such as Eulers

    ϕ(q):= k=1 (1q k)\phi(q):=\prod_{k=1}^\infty (1-q^k)

    = n= (1) nq (3n 2n)/2=\sum_{n=-\infty}^\infty (-1)^n q^{(3n^2-n)/2}

    I tried to see how my truncation process relates e.g. to the Jacobi triple product formula, but it doesn’t at all, the terms are sorted completely different.