Inverse distribution¶

The probability distribution of the reciprocal of a random variable.

Version: v2 · 2026-09-19 · History
Domain-specific #: 5102
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Probability Theory → Mathematics

Core Idea¶

If X is nonzero almost surely, the inverse distribution is the pushforward law of Y=1/X, with density obtained by the reciprocal transformation and its Jacobian when applicable. The nonlinear inversion reverses magnitude and sign regions and maps tails near zero into extreme reciprocal values. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

The load-bearing residual is not the broad topic of probability theory. It is the domain-specific identity determined by the source variable’s zero behavior is addressed and probabilities are exactly the pushforward under x↦1/x.

How would you explain it like I'm…

Pizza Slice Flip

Say you share one pizza with a surprise number of friends. If only a few friends come, each gets a big slice; if lots come, each gets a tiny slice. Knowing how likely each number of friends is tells you how likely each slice size is. You just can't share with zero friends!

One-Divided-By Chances

Suppose a number X comes out randomly, like a dice roll. Now look at 1 divided by X instead. Big numbers turn into small ones and small numbers turn into big ones. The inverse distribution tells you how likely each value of 1/X is. X must never be zero, because you can't divide by zero. Numbers of X very close to zero make 1/X shoot up to giant sizes, so rare tiny X's become rare huge answers.

Distribution of a Reciprocal

If X is a random variable that is never zero (with probability one), the inverse distribution is the probability distribution of Y = 1/X. The probabilities simply carry over: the chance Y lands in some set equals the chance X lands in the matching set of reciprocals. When X has a density, you find Y's density with the change-of-variables formula, including the derivative factor (the Jacobian). Flipping reverses sizes: large X gives small Y, and X near zero gives extremely large Y. Signs stay the same but the order of magnitudes flips. You must deal with whether X can be zero or near zero, since that controls Y's tails.

Given a random variable X with P(X=0)=0, the inverse distribution is the pushforward of X's law under the map x↦1/x, i.e. the law of Y=1/X. When X has a density f_X and the transformation is smooth and invertible on the relevant region, Y's density is f_Y(y)=f_X(1/y)/y², the 1/y² being the Jacobian factor. The nonlinearity reverses magnitude ordering within each sign region and sends probability mass near zero out to extreme values, so light-tailed or bounded X can produce heavy-tailed Y. The constitutive conditions are that zero behavior of the source variable is explicitly addressed and that probabilities are exactly transported by the reciprocal map—not approximated or replaced by a merely similar-looking family. Getting either wrong, e.g. ignoring mass near zero, invalidates moments and tail claims about Y. Analyses should state parameters and conventions and check limiting cases.

Scope of Application¶

Inverse distribution belongs to probability theory and is useful where the analyst can specify the typed probability theory carrier, defining objects and relations, parameters, conventions, evidence, boundary cases and comparison targets, then evaluate the source variable’s zero behavior is addressed and probabilities are exactly the pushforward under x↦1/x. The scope is broad within that domain but bounded by the need for the source variable’s zero behavior is addressed and probabilities are exactly the pushforward under x↦1/x. The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

Clarity¶

The abstraction clarifies a crowded vocabulary by making the source variable’s zero behavior is addressed and probabilities are exactly the pushforward under x↦1/x the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test. A bare label is insufficient because the name Inverse distribution can be used for a formal identity, an implementation, or a neighboring result unless carrier and convention are stated.

Manages Complexity¶

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Inverse distribution. Inverse distribution compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning¶

Identify the carrier. State what the elements, states, objects, or observations are: the typed probability theory carrier, defining objects and relations, parameters, conventions, evidence, boundary cases and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
Lock the constitutive rule. Express the source variable’s zero behavior is addressed and probabilities are exactly the pushforward under x↦1/x independently of one notation or implementation.

Knowledge Transfer¶

Knowledge transfers strongly among subfields of probability theory because they reuse the typed probability theory carrier, defining objects and relations, parameters, conventions, evidence, boundary cases and comparison targets, The nonlinear inversion reverses magnitude and sign regions and maps tails near zero into extreme reciprocal values., and type the carrier, state every parameter and convention in the definition, test that the source variable’s zero behavior is addressed and probabilities are exactly the pushforward under x↦1/x, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions¶

Current abstraction Inverse distribution Domain-specific

Parents (1) — outgoing typed relations

Inverse distribution is a kind of Transformation Prime

What makes it its own entry: the domain-specific identity determined by the source variable’s zero behavior is addressed and probabilities are exactly the pushforward under x↦1/x.

Hierarchy path (1) — routes to 1 parentless root

Inverse distribution → is a kind of Transformation → is a kind of, typical Function (Mapping)

Neighborhood in Abstraction Space¶

Inverse distribution sits in a crowded region of the domain-specific corpus (15^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Probability Distributions & Transforms (22 abstractions)

Nearest neighbors

Quantile function — 0.91
Characteristic function (probability theory) — 0.91
Modified half-normal distribution — 0.91
Exchangeable random variables — 0.91
Johnson's SU-distribution — 0.90

Computed from structural-signature embeddings · 2026-10-25