Jump to content

Wikipedia:Reference desk/Archives/Mathematics/2023 July 12

From Wikipedia, the free encyclopedia
Mathematics desk
< July 11 << Jun | July | Aug >> July 13 >
Welcome to the Wikipedia Mathematics Reference Desk Archives
The page you are currently viewing is a transcluded archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.


July 12

[edit]

Axioms of probability

[edit]

Why exactly isn't the definition of independence as regarded as an axiom in fact? Hildeoc (talk) 13:47, 12 July 2023 (UTC)[reply]

In an axiom of logic like you can substitute any propositions for the variables and , and get a valid proposition, also if you use the same proposition twice. So, for instance, both and are valid propositions. Now if we substitute the same event for and in the proposed axiom, we find that implying that is either almost certain or almost impossible. To avoid this conclusion and save the axiom, we need to require that the events and in the axiom are independent. So we need another definition. One could use the definition but then – assuming that is defined as – the axiom becomes a theorem. However, this definition fails when ; moreover, we have lost the symmetry between and , so this is not an improvement.  --Lambiam 17:16, 12 July 2023 (UTC)[reply]
Not quite sure that's what Hildeoc was getting at.
Of course, at a trivial level, any definition of a predicate (like "independent") can be formally rephrased as an axiom, by adding the predicate as an undefined term, and then adding an axiom that says the predicate is true if and only if (substitute definition here). But that's probably not what Hildeoc meant either, because it's too trivial.
Another possibility is that Hildeoc is relying on some unformalized notion of independence (say, events A and B do not influence one another causally and are not influenced by a common cause). That notion is stronger than what can be captured by probability theory.
For example, say we throw a coin a countably infinite number of times, and the throws are independent (not just pairwise, but altogether) in this informal sense. Then the probability that they all come up heads is zero; nevertheless, the outcome is possible. That's because any throw possibly comes up heads, so to exclude the possibility that they all come up heads would require some dependency among the throws.
The event that all odd-numbered throws come up heads is independent of the event that all even-numbered throws come up tails, both in the informal sense and in the probability-theory sense, the latter because 0×0 = 0.
But the event that all throws come up heads is independent in the probability-theory sense from the event that all throws come up tails (again because 0×0 = 0). But the two events are not independent in the informal sense, because their conjunction is impossible. --Trovatore (talk) 22:15, 12 July 2023 (UTC)[reply]
I thought of a possibly more accessible way of showing that probabilistic independence doesn't capture informal independence.
Say I have two coins, which are both fair individually. However they are linked in the following unusual way: If I throw them both before noon on a given day, they will always come up either both heads or both tails. If I throw them after noon, they will always come up opposite from one another.
Now I choose a random time and throw both coins at that time.
You can easily check that the throws are independent by the probability-theory definition. Each coin comes up heads 50% of the time and tails 50% of the time, and the probability of each combination is 25%; the arithmetic all works.
But I think it's clear that the throws are not "really" independent. They have two different dependencies on one another, which cancel out probabilistically. --Trovatore (talk) 22:22, 13 July 2023 (UTC)[reply]
@Lambiam, Trovatore: I was actually referring to the three axioms of probability. Did that come across? When using as a definition, or likewise, the definition of conditional probability (as applied to the multiplication theorem, which can be inferred from the former), why exactly do those invoked issues with and both becoming , or apparently not occur? And, in conclusion, what's the conceptual difference leading to calling this merely a definition and not an axiom – as opposed to the additivity axiom for disjoint events? Hildeoc (talk) 23:16, 15 July 2023 (UTC)[reply]
It is an issue of terminological convention. When dealing with a mathematical structure (a set endowed with some additional features on the set, such as a metric), it is conventional to use the term "axiom" for the defining properties of the additional features of that particular kind of structure. For example, in Metric space § Definition we see:
Formally, a metric space is an ordered pair (M, d) where M is a set and d is a metric on M, i.e., a function satisfying the following axioms for all points : ...
These axioms capture what is special about metric spaces. In the same article we find a definition of distance-preserving function:
A function is distance-preserving if for every pair of points x and y in M1,
This does not constrain the class of structures that are metric spaces, so this definition will not be referred to as an "axiom". See also Axiom § Non-logical axioms.  --Lambiam 05:56, 17 July 2023 (UTC)[reply]
@Lambiam: Thank you for clarification. So are there no "additional features of that particular kind of structure" determined in the context of defining independence then? Hildeoc (talk) 12:28, 17 July 2023 (UTC)[reply]
Indeed. For example, the silly theorem that an event is independent of itself iff is valid in any probability space.  --Lambiam 17:46, 17 July 2023 (UTC)[reply]
@Lambiam: Sorry if I'm being slow-witted here, but how exactly do these exceptions prove that, in general, does not define additional features for independent events – as opposed to defining additional features for disjoint events. I still don't see the conceptual difference making the latter an axiom and the former not. Hildeoc (talk) 18:20, 17 July 2023 (UTC)[reply]
PS: What strikes me even more, upon closer examination, is the fact that the additivity axiom is nothing else than a modification of the more general sum rule . So why exactly is for disjoint events considered an axiom on its own, in fact? Hildeoc (talk) 19:09, 17 July 2023 (UTC)[reply]
The definition of "right angle" does not change the concept of Euclidean space. The properties that make a space an Euclidean space would not be any different if Euclid had forgotten to define right angles. There are spaces in which some of the Euclidean axioms do not hold. For a long time, it was not known whether the parallel postulate was independent of the other axioms, so an intriguing question was, Is it possible to prove the parallel postulate from the other axioms? (This is actually still a meaningful question, but now we know the answer.) Compare this to the question, Is it possible to prove the definition of "right angle" from the Euclidean axioms? The notion of "proving a definition" is meaningless, so the whole question is meaningless.
 
It is possible to have a structure in which is a set, is a nonempty collection of subsets of closed under complement, countable unions, and countable intersections, and is a function assigning a number in the unit interval to each member of , which does not satisfy the property that implies For example, we can choose
Then So the axiom for disjoint events rules out this structure; it would be a probability space but for the last axiom.  --Lambiam 22:19, 17 July 2023 (UTC)[reply]
@Lambiam: Sorry, but I guess this is somewhat beyond my ken. I'm not a professional, and I can't follow anymore. Could you maybe somehow break down this argumentation to the main guiding principles for me? Hildeoc (talk) 22:45, 17 July 2023 (UTC)[reply]
Removing the parallel postulate from the Euclidean axioms makes a real difference. It makes non-Euclidean geometry possible. Removing the disjointness axiom from the probability axioms also makes a real difference. Without this axiom, both parties in a bet could be sure to win in some model. This model cannot be a model for what we call "probability"; it is no good. Axioms are propositions you can try to test (verify or falsify) in proposed models, to distinguish between good models and no-good models. Definitions are not testable. They are true by definition; if you define a right angle as a quarter turn, you cannot prove that a right angle is not a quarter turn.  --Lambiam 23:29, 17 July 2023 (UTC)[reply]
One of Euclid's postulates is: all right angles are equal (i.e. congruent). What precisely do you mean by a Euclidean space without right angles? –jacobolus (t) 23:25, 17 July 2023 (UTC)[reply]
I was only considering the possibility of geometry in Euclidean space without introducing the term "right angle". All theorems not using the term (such as the law of cosines) are still theorems. It may be more awkward to prove them (and propositions using the term will then be meaningless, simply because they contain an undefined term), but the properties that make a space Euclidean are not affected.  --Lambiam 23:42, 17 July 2023 (UTC)[reply]