Wikipedia:WikiProject Mathematics/PlanetMath Exchange/60-XX Probability theory and stochastic processes: Difference between revisions
Appearance
Content deleted Content added
m →60G40 Stopping times; optimal stopping problems; gambling theory: dab martingale |
|||
Line 128: | Line 128: | ||
==60B10 Convergence of probability measures== |
==60B10 Convergence of probability measures== |
||
* PM: [http://planetmath.org/?op=getobj&from=objects&id=6725 convergence in probability], id=6725<sup><font color=red>new!</font></sup> -- WP guess: [[convergence in probability]] -- Status: |
* PM: [http://planetmath.org/?op=getobj&from=objects&id=6725 convergence in probability], id=6725<sup><font color=red>new!</font></sup> -- WP guess: [[convergence in probability]] -- Status: '''A''' |
||
::PM article explicitly uses a general metric for the difference between ''X''<sub>''n''</sub> and ''X'' but I don't think this is necessary here. [[User:Bjcairns|Ben Cairns]] 08:28, 12 April 2006 (UTC) |
|||
==60B11 Probability theory on linear topological spaces== |
==60B11 Probability theory on linear topological spaces== |
Revision as of 08:28, 12 April 2006
This page provides a list of all articles available at PlanetMath in the following topic:
- 60-XX Probability theory and stochastic processes.
This list will be periodically updated. Each entry in the list has three fields:
- PM : The first field is the link to the PlanetMath article, along with the article's object ID.
- WP : The second field is either a "guessed" link to a correspondingly named Wikipedia article, produced by the script which generated the list, or one or more manually entered links to the corresponding Wikipedia articles on the subject.
- Status : The third field is the status field, which explains the current status of the entry. The recommended status entries are:
Status | means PM article |
N | not needed |
A | adequately covered |
C | copied |
M | merged |
NC | needs copying |
NM | needs merging |
- Please update the WP and Status fields as appropriate.
- if the WP field is correct please remove the qualifier "guess".
- If the corresponding Wikipedia article exists, but the link to it is wrong, please fix the link.
- If you copy or merge an article from PlanetMath, please update the WP and Status fields for that entry.
- If you have any comments, for example, thoughts on how the PlanetMath article compares to the corresponding Wikipedia article(s), please place such comments on a new indented line following the entry. Comments of this kind are very valuable.
Don't forget to include the relevant template if you copy over text or feel like an external link is warranted
- {{planetmath|id=|title=}} for copied over text
- {{planetmath reference|id=|title=}} for an external link
See the main page for examples and usage criteria.
One can use the web-based program Pmform to convert PlanetMath articles to the Wikipedia format. As a side benefit, this tool will place the PlanetMath template for you.
60-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
- PM: Bayes' theorem, id=1051 -- WP: Bayes' theorem -- Status: A
- Ben Cairns 12:47, 1 Feb 2005 (UTC).
- PM: Bernoulli random variable, id=517 -- WP: Bernoulli distribution -- Status: A
- PM: beta random variable, id=530 -- WP: beta distribution -- Status: A
- PM: chi-squared random variable, id=551 -- WP: chi-squared distribution -- Status: A
- PM: continuous density function, id=496 -- WP: probability density function -- Status: A
- ... but could use some clean-up. Ben Cairns 05:57, 2 Feb 2005 (UTC).
- PM: expected value, id=505 -- WP: expected value -- Status: A
- Some minor deficiencies in the WP article were rectified, and the article refactored. Added reference to PM article. Ben Cairns 03:44, 2 Feb 2005 (UTC).
- PM: Gamma random variable, id=529 -- WP: Gamma distribution -- Status: A
- PM: geometric random variable, id=520 -- WP: geometric distribution -- Status: NM
- Moment generating function.Also the WP article could use a Probability distribution infobox AdamSmithee 17:35, 4 January 2006 (UTC)
- PM: independent identically distributed, id=5977 -- WP: independent identically-distributed random variables -- Status: A
- Expanded on the WP article, removing an old stub notice in the process. PM article has a nice stochastic process example (interarrival times of a Poisson process), but it didn't seem necessary to add it in. Ben Cairns 05:55, 2 Feb 2005 (UTC).
- PM: moment, id=515 -- WP: moment (mathematics), moment about the mean, skewness, kurtosis, leptokurtic, platykurtic -- Status: A
- WP articles contain all the same information and more, but could use some work. Ben Cairns 00:48, 3 Feb 2005 (UTC).
- PM: proof of Bayes' Theorem, id=3058 -- WP: Bayes' Theorem#Statement of Bayes' theorem -- Status: A
- PM article more directly general, but the WP article is easier to understand and is extended to the general case. Ben Cairns 12:45, 1 Feb 2005 (UTC).
- PM: random variable, id=485 -- WP: random variable -- Status: M
- Merged in a little definitional stuff. The WP article still needs a bit of work, including possible merging with WP articles on continuous random variables and discrete random variables. Ben Cairns 04:04, 3 Feb 2005 (UTC).
- PM: uniform (continuous) random variable, id=525 -- WP: Uniform distribution (continuous) -- Status: A
- PM: uniform (discrete) random variable, id=521 -- WP: uniform distribution -- Status: NM
- ... but only by a sentence or two. Ben Cairns 02:35, 4 Feb 2005 (UTC).
- PM: bibliography for probability, id=6840new! -- WP guess: bibliography for probability -- Status: N
- List of textbooks AdamSmithee 14:07, 6 March 2006 (UTC)
60A05 Axioms; other general questions
- PM: example of pairwise independent events that are not totally independent, id=4299 -- WP: pairwise independence -- Status: A
- Ben Cairns 05:40, 3 Feb 2005 (UTC).
- PM: independent, id=1053 -- WP: statistical independence -- Status: A
- Made a couple of minor corrections and a small addition. Ben Cairns 05:40, 3 Feb 2005 (UTC).
- PM: random event, id=3704 -- WP: event (probability theory) -- Status: A
- Ben Cairns 05:42, 3 Feb 2005 (UTC).
60A10 Probabilistic measure theory
- PM: almost everywhere, id=2002 -- WP: almost everywhere, almost surely -- Status: A
- Tricky one. PM article covers both almost surely and almost everywhere, but seems more about the former. Special case of PM's example appears in WP's almost everywhere (along with other examples given in some complicated inline maths). PS: I've fixed the inline unpleasantness. Ben Cairns 13:09, 1 Feb 2005 (UTC).
- PM: Cauchy random variable, id=531 -- WP: Cauchy distribution -- Status: A
- PM: joint continuous density function, id=576 -- WP: joint distribution -- Status: A
- WP article includes joint probability mass functions. Ben Cairns 01:46, 16 Feb 2005 (UTC).
- PM: joint cumulative distribution function, id=571 -- WP: joint distribution -- Status: NM
- Or just the information about distribution functions added without copying (it isn't much, really). Ben Cairns 01:46, 16 Feb 2005 (UTC).
- PM: neutrosophic probability, id=5846 -- WP: (none) -- Status: N
- Reliability of PM article has been questioned internally, it seems; related articles on neutrosophic sets and logic appear to have had WP versions deleted (they appear on google, but don't exist). So, this article does not seem appropriate for WP. Ben Cairns 05:59, 3 Feb 2005 (UTC).
- PM: neutrosophic probability, id=7220new! -- WP: neutrosophic probability -- Status: N
- See above AdamSmithee 14:08, 6 March 2006 (UTC)
60A99 Miscellaneous
- PM: Bonferroni inequalities, id=6049 -- WP: Boole's inequality -- Status: M
- Merged as a generalisation of Boole's inequality. Added redirect from Bonferroni inequalities. Ben Cairns 00:23, 16 Feb 2005 (UTC).
- PM: Borel-Cantelli lemma, id=3688 -- WP: Borel-Cantelli lemma -- Status: A
- But see the entries proof of Borelli-Cantelli 1 and 2 below. Ben Cairns 02:41, 4 Feb 2005 (UTC).
- PM: Chebyshev's inequality, id=3115 -- WP: Chebyshev's inequality -- Status: A
- Ben Cairns 03:03, 4 Feb 2005 (UTC).
- PM: cumulative distribution function, id=504 -- WP: cumulative distribution function -- Status: A
- ... but could use some cleanup. Ben Cairns 03:12, 4 Feb 2005 (UTC).
- PM: distribution ensemble, id=3448 -- WP guess: distribution ensemble -- Status:
- PM: Markov's inequality, id=2817 -- WP: Markov's inequality -- Status: A
- Ben Cairns 03:19, 4 Feb 2005 (UTC).
- PM: median of a distribution, id=5900 -- WP: median -- Status: M
- Added in examples of medians of several common distributions. Ben Cairns 04:01, 4 Feb 2005 (UTC).
- PM: proof of Borel-Cantelli 1, id=5992 -- WP: Borel-Cantelli lemma -- Status: NM
- Simple cut-and-paste should suffice. Ben Cairns 00:57, 16 Feb 2005 (UTC).
- PM: proof of Borel-Cantelli 2, id=6028 -- WP: Borel-Cantelli lemma -- Status: NM
- Simple cut-and-paste should suffice. Ben Cairns 00:57, 16 Feb 2005 (UTC).
- PM: proof of Chebyshev's inequality, id=3116 -- WP: Chebyshev's inequality#Proof -- Status: A
- Ben Cairns 03:03, 4 Feb 2005 (UTC).
- PM: proof of Markov's inequality, id=3111 -- WP: Markov's inequality#Proof -- Status: A
- Ben Cairns 03:19, 4 Feb 2005 (UTC).
- PM: pseudorandom, id=3446 -- WP: pseudorandom -- Status:
- The PM article's definition is particularly restrictive and (possibly) obscure. The WP article seems adequate but I will defer to a better-informed reader. If you are familiar with the mathematics of this topic please check the articles and update this entry appropriately. Ben Cairns 04:43, 4 Feb 2005 (UTC).
- WP article covers support more generally for functions and distributions. Noted that probability measures are measures. Ben Cairns 04:29, 4 Feb 2005 (UTC).
- PM: corollary of Borel-Cantelli lemma, id=7195new! -- WP guess: corollary of Borel-Cantelli lemma -- Status:
60B10 Convergence of probability measures
- PM: convergence in probability, id=6725new! -- WP guess: convergence in probability -- Status: A
- PM article explicitly uses a general metric for the difference between Xn and X but I don't think this is necessary here. Ben Cairns 08:28, 12 April 2006 (UTC)
60B11 Probability theory on linear topological spaces
- PM: multidimensional Gaussian integral, id=1914 -- WP: standardizing the multivariate normal distribution -- Status: NC
- A new article seems more appropriate than adding it to multivariate normal distribution. Ben Cairns 11:04, 6 Feb 2005 (UTC).
60E05 Distributions: general theory
- PM: binomial distribution, id=3454 -- WP: binomial distribution -- Status: NM
- The WP article lacks the generating function of a binomial and the derivation of the mean and variance. Also needs refactoring and general clean-up! Ben Cairns 11:15, 6 Feb 2005 (UTC).
- PM: convergence in distribution, id=3708 -- WP: convergence of random variables -- Status: A
- Article covers all major modes of convergence of random variables. Made a couple of edits, but it was essentially all there. Ben Cairns 11:47, 6 Feb 2005 (UTC).
- PM: Cramér-Wold theorem, id=3711 -- WP: Cramér-Wold theorem -- Status: C
- Ben Cairns 11:53, 6 Feb 2005 (UTC)
- User:Robbjedi
- PM: density function, id=3450 -- WP: probability mass function, probability density function -- Status: A
- The PM article starts with probability 'density' (should be 'mass') functions for discrete distributions, then extends to probability density functions for continuous distributions. It seems (from a quick scan) to contain an error in constructing the latter. Ben Cairns 03:36, 7 Feb 2005 (UTC).
- PM: distribution function, id=3451 -- WP: cumulative distribution function -- Status: A
- Ben Cairns 21:55, 7 Feb 2005 (UTC).
- PM: geometric distribution, id=3456 -- WP: geometric distribution -- Status: A
- A little extra derivation in PM article, so I added the p.g.f. and a link. Ben Cairns 04:30, 16 Feb 2005 (UTC).
- PM: Heaps' law, id=3431 -- WP: Heaps' law -- Status: A
- Long ago copied from PM; I added the copyright license notice. Ben Cairns 04:06, 16 Feb 2005 (UTC).
- PM: Helly-Bray theorem, id=3710 -- WP: Helly-Bray theorem -- Status: C
- Plus some additional material on a more general version of the theorem. Ben Cairns 23:11, 17 Feb 2005 (UTC).
- PM: joint discrete density function, id=573 -- WP guess: joint discrete density function -- Status:
- PM: marginal distribution, id=591 -- WP guess: marginal distribution -- Status: A
- Ben Cairns 01:18, 15 Mar 2005 (UTC).
- PM: moment generating function, id=512 -- WP: moment-generating function -- Status: A
- ...following a couple of minor edits. Ben Cairns 01:32, 15 Mar 2005 (UTC).
- PM: multinomial distribution, id=6113 -- WP guess: multinomial distribution -- Status:
- PM: non-central chi-squared random variable, id=6628 -- WP guess: non-central chi-squared random variable -- Status:
- PM: normal random variable, id=527 -- WP: normal random variable -- Status: A
- PM: relative entropy, id=1945 -- WP guess: relative entropy -- Status:
- PM: Scheffé's theorem, id=3712 -- WP guess: Scheffé's theorem -- Status:
- PM: standard deviation, id=511 -- WP: standard deviation -- Status: A
- PM: Weibull random variable, id=5960 -- WP: Weibull random variable -- Status: A
- PM: Zipf's law, id=3422 -- WP guess: Zipf's law -- Status:
- PM: joint normal distribution, id=7204new! -- WP guess: joint normal distribution -- Status:
60E10 Characteristic functions; other transforms
- PM: characteristic function, id=3714 -- WP: characteristic function -- Status: NM
- A bunch of properties of characteristic functions in the PM article do not appear in the WP article. Ben Cairns 12:00, 6 Feb 2005 (UTC).
- PM: Paul Lévy continuity theorem, id=3715 -- WP: Lévy continuity theorem -- Status: NC
- We've needed this article for a while to complete the proof of the law of large numbers and the basic central limit theorem. Ben Cairns 12:00, 6 Feb 2005 (UTC).
60E15 Inequalities; stochastic orderings
- PM: Kolmogorov's inequality, id=3687 -- WP: Kolmogorov's inequality -- Status: NC
- Doesn't seem to appear elsewhere on WP. Ben Cairns 01:54, 16 Feb 2005 (UTC).
- PM: proof of Kolmogorov's inequality, id=6086 -- WP: Kolmogorov's inequality -- Status: NM
- ...with the above article. Ben Cairns 01:54, 16 Feb 2005 (UTC).
60E99 Miscellaneous
- PM: discrete density function, id=486 -- WP: probability mass function -- Status: A
- Ben Cairns 11:48, 20 Feb 2005 (UTC).
- PM: law of rare events, id=6252 -- WP: Poisson distribution -- Status: A
- Could use some refactoring to synthesise the section on the law of small numbers with the law of rare events. Also added link to PM article. Ben Cairns 12:13, 20 Feb 2005 (UTC).
- PM: probability distribution function, id=2884 -- WP: probability distribution -- Status: NM
- PM article defines probability distribution functions as objects generalising both probability mass functions and probability density functions. Contrast common usage of distribution function as the cumulative distribution function, and probability distribution as something somewhat less general than a probability measure. Seems best merged with probability distribution, but we should stick with WP's established terminology (which I happen to be familiar with myself). Nonetheless, content from this article should make an excellent contribution. Ben Cairns 12:24, 20 Feb 2005 (UTC).
60F05 Central limit and other weak theorems
- PM: Lindeberg's central limit theorem, id=3713 -- WP: central limit theorem, Lyapunov's central limit theorem -- Status: NM
- There is some good content here, including a more general Lyapunov condition, that could be merged. The historical note is also interesting. Ben Cairns 12:37, 20 Feb 2005 (UTC).
60F15 Strong theorems
- PM: Kolmogorov's strong law of large numbers, id=3686 -- WP: law of large numbers -- Status: NM
- The non-i.i.d. case is not covered by the WP article. Ben Cairns 12:29, 20 Feb 2005 (UTC).
- PM: strong law of large numbers, id=3685 -- WP: law of large numbers -- Status: NM
- As part of the merge for Kolmogorov's strong law of large numbers, above. Ben Cairns 12:29, 20 Feb 2005 (UTC).
60F99 Miscellaneous
60G05 Foundations of stochastic processes
- PM: stochastic process, id=6244 -- WP: stochastic process -- Status: A
- ...but could use some work to make the notation clearer. Ben Cairns 03:33, 16 Feb 2005 (UTC).
- PM: sample function, id=7176new! -- WP guess: sample function -- Status:
60G07 General theory of processes
- PM: memoryless random variable, id=6261 -- WP: memorylessness -- Status: A
- Ben Cairns 04:13, 16 Feb 2005 (UTC).
- PM: distributions of a stochastic process, id=7183new! -- WP guess: distributions of a stochastic process -- Status:
- PM: independent stochastic processes, id=7250new! -- WP guess: independent stochastic processes -- Status:
- PM: local martingale, id=6973new! -- WP guess: local martingale -- Status:
60G10 Stationary processes
- PM: autocovariance function, id=6919new! -- WP guess: autocovariance function -- Status:
- PM: discrete white noise, id=7160new! -- WP guess: discrete white noise -- Status:
- PM: mean square convergence of the sample mean of a stationary process, id=7168new! -- WP guess: mean square convergence of the sample mean of a stationary process -- Status:
- PM: proof of mean square convergence of the sample mean of a stationary process, id=7198new! -- WP guess: proof of mean square convergence of the sample mean of a stationary process -- Status:
- PM: stationary process, id=7207new! -- WP guess: stationary process -- Status:
60G15 Gaussian processes
- PM: Gaussian process, id=7209new! -- WP guess: Gaussian process -- Status:
60G17 Sample path properties
60G40 Stopping times; optimal stopping problems; gambling theory
- PM: stopping time, id=6294 -- WP: Martingale -- Status: A
- WP's article is less formal (it avoids talking about filtrations), but seems adequate in the context. The concept of a filtration could be added to the article, but this might as well be done organically. Ben Cairns 03:29, 16 Feb 2005 (UTC).
- PM: Wald's equation, id=6267 -- WP: Wald's equation -- Status: C
- Ben Cairns 04:00, 16 Feb 2005 (UTC).
60G50 Sums of independent random variables; random walks
- PM: random walk, id=6694new! -- WP guess: random walk -- Status:
60G51 Processes with independent increments
- PM: counting process, id=6730new! -- WP guess: counting process -- Status:
- PM: independent increment, id=6731new! -- WP guess: independent increment -- Status:
- PM: Poisson process, id=6733new! -- WP guess: Poisson process -- Status:
- PM: stationary increment, id=6732new! -- WP guess: stationary increment -- Status:
60G99 Miscellaneous
60J10 Markov chains with discrete parameter
- PM: class structure, id=5765 -- WP: Markov chain -- Status: A
- Added a ref. to the PM article. Ben Cairns 03:46, 16 Feb 2005 (UTC).
- PM: hitting time, id=5764 -- WP: Stochastic process -- Status: NM
- PM article is specific to Markov chains, but hitting times are a common quantity of interest in many stochastic processes. Ben Cairns 03:46, 16 Feb 2005 (UTC).
- PM: Markov chain, id=2886 -- WP: Markov chain -- Status: A
- Ben Cairns 03:24, 16 Feb 2005 (UTC).
- PM: mean hitting time, id=5807 -- WP: Markov chain -- Status: NM
- This is specific to Markov chains, and is such a common problem in applications that it should be merged into that article. Ben Cairns 03:46, 16 Feb 2005 (UTC).
60J65 Brownian motion
- PM: Brownian motion, id=6974new! -- WP guess: Brownian motion -- Status:
- PM: Levy martingale characterization, id=6975new! -- WP guess: Levy martingale characterization -- Status:
- PM: wavelet representation of Brownian motion, id=6976new! -- WP guess: wavelet representation of Brownian motion -- Status: