Nikiya Anton Bettey 2021: 05-14-2023-1937 - variety continued... (draft)

Monday, May 15, 2023

05-14-2023-1937 - variety continued... (draft)

In the field of psychology, cognitive dissonance is the perception of contradictory information and the mental toll of it. Relevant items of information include a person's actions, feelings, ideas, beliefs, values, and things in the environment. Cognitive dissonance is typically experienced as psychological stress when persons participate in an action that goes against one or more of those things.^[1] According to this theory, when two actions or ideas are not psychologically consistent with each other, people do all in their power to change them until they become consistent.^[1]^[2] The discomfort is triggered by the person's belief clashing with new information perceived, wherein the individual tries to find a way to resolve the contradiction to reduce their discomfort.^[1]^[2]^[3]

In When Prophecy Fails: A Social and Psychological Study of a Modern Group That Predicted the Destruction of the World (1956) and A Theory of Cognitive Dissonance (1957), Leon Festinger proposed that human beings strive for internal psychological consistency to function mentally in the real world.^[1] A person who experiences internal inconsistency tends to become psychologically uncomfortable and is motivated to reduce the cognitive dissonance.^[1]^[2] They tend to make changes to justify the stressful behavior, either by adding new parts to the cognition causing the psychological dissonance (rationalization) or by avoiding circumstances and contradictory information likely to increase the magnitude of the cognitive dissonance (confirmation bias).^[1]^[2]^[3]

Coping with the nuances of contradictory ideas or experiences is mentally stressful. It requires energy and effort to sit with those seemingly opposite things that all seem true. Festinger argued that some people would inevitably resolve the dissonance by blindly believing whatever they wanted to believe.^[4]

^{https://en.wikipedia.org/wiki/Cognitive_dissonance}

^{https://en.wikipedia.org/wiki/Social_class}

^{https://en.wikipedia.org/wiki/Social_theory}

^{https://en.wikipedia.org/wiki/Social_phenomenon}

Sociological imagination is a term used in the field of sociology to describe a framework for understanding social reality that places personal experiences within a broader social and historical context.^[1]

It was coined by American sociologist C. Wright Mills in his 1959 book The Sociological Imagination to describe the type of insight offered by the discipline of sociology.^[2]^: 5, 7 Today, the term is used in introductory sociology textbooks to explain the nature of sociology and its relevance in daily life.^[1]

^{https://en.wikipedia.org/wiki/Sociological_imagination}

The imaginary (or social imaginary) is the set of values, institutions, laws, and symbols through which people imagine their social whole. It is common to the members of a particular social group and the corresponding society. The concept of the imaginary has attracted attention in anthropology, sociology, psychoanalysis, philosophy, and media studies.

^{https://en.wikipedia.org/wiki/Imaginary_(sociology)}

^{https://en.wikipedia.org/wiki/Social_group}

^{https://en.wikipedia.org/wiki/Antisocial}

^{https://en.wikipedia.org/wiki/Isolation}

^{https://en.wikipedia.org/wiki/Solitary}

^{https://en.wikipedia.org/wiki/Unknown}

^{https://en.wikipedia.org/wiki/Uncertainty}

^{https://en.wikipedia.org/wiki/Stochastic}

^{https://en.wikipedia.org/wiki/Assimilation}

^{https://en.wikipedia.org/wiki/Bias}

^{https://en.wikipedia.org/wiki/Observational_error}

Observational error (or measurement error) is the difference between a measured value of a quantity and its true value.^[1] In statistics, an error is not necessarily a "mistake". Variability is an inherent part of the results of measurements and of the measurement process.

Measurement errors can be divided into two components: random and systematic.^[2] Random errors are errors in measurement that lead to measurable values being inconsistent when repeated measurements of a constant attribute or quantity are taken. Systematic errors are errors that are not determined by chance but are introduced by repeatable processes inherent to the system.^[3] Systematic error may also refer to an error with a non-zero mean, the effect of which is not reduced when observations are averaged.^{[citation needed]}

Measurement errors can be summarized in terms of accuracy and precision. Measurement error should not be confused with measurement uncertainty.

https://en.wikipedia.org/wiki/Observational_error

https://en.wikipedia.org/wiki/Errors_and_residuals

https://en.wikipedia.org/wiki/Realization_(probability)

https://en.wikipedia.org/wiki/Probability

https://en.wikipedia.org/wiki/Almost_surely

https://en.wikipedia.org/wiki/Realization_(probability)

https://en.wikipedia.org/wiki/Probability_axioms

https://en.wikipedia.org/wiki/Probability_theory

https://en.wikipedia.org/wiki/Event_(probability_theory)

https://en.wikipedia.org/wiki/Empirical_distribution_function

https://en.wikipedia.org/wiki/Empirical_probability

https://en.wikipedia.org/wiki/Random_variable

https://en.wikipedia.org/wiki/Outcome_(probability)

https://en.wikipedia.org/wiki/Sample_space

https://en.wikipedia.org/wiki/Mutual_exclusivity

https://en.wikipedia.org/wiki/Collectively_exhaustive_events

https://en.wikipedia.org/wiki/Dice

https://en.wikipedia.org/wiki/Logic

https://en.wikipedia.org/wiki/Informal_logic

https://en.wikipedia.org/wiki/Measurable_space

https://en.wikipedia.org/wiki/Observational_error

https://en.wikipedia.org/wiki/Mistake

https://en.wikipedia.org/wiki/Statistical_parameter

https://en.wikipedia.org/wiki/Standard_deviation

https://en.wikipedia.org/wiki/Statistical_dispersion

https://en.wikipedia.org/wiki/Central_tendency

https://en.wikipedia.org/wiki/Arithmetic_mean

https://en.wikipedia.org/wiki/Observational_study

https://en.wikipedia.org/wiki/Randomized_controlled_trial

https://en.wikipedia.org/wiki/Random_assignment

https://en.wikipedia.org/wiki/Human_subject_research

https://en.wikipedia.org/wiki/Biological_specimen

https://en.wikipedia.org/wiki/Biorepository

https://en.wikipedia.org/wiki/Random_number_generation

https://en.wikipedia.org/wiki/Confounding

https://en.wikipedia.org/wiki/Spurious_relationship

https://en.wikipedia.org/wiki/Dependent_and_independent_variables

https://en.wikipedia.org/wiki/Correlation_does_not_imply_causation

https://en.wikipedia.org/wiki/Causality

https://en.wikipedia.org/wiki/Internal_validity

https://en.wikipedia.org/wiki/Generalization

https://en.wikipedia.org/wiki/Observational_error

https://en.wikipedia.org/wiki/Time-invariant_system

https://en.wikipedia.org/wiki/Dependent_and_independent_variables

https://en.wiktionary.org/wiki/variation

https://en.wikipedia.org/wiki/Skewness

https://en.wikipedia.org/wiki/Unimodality

The standard error (SE)^[1] of a statistic (usually an estimate of a parameter) is the standard deviation of its sampling distribution^[2] or an estimate of that standard deviation. If the statistic is the sample mean, it is called the standard error of the mean (SEM).^[1]

The sampling distribution of a mean is generated by repeated sampling from the same population and recording of the sample means obtained. This forms a distribution of different means, and this distribution has its own mean and variance. Mathematically, the variance of the sampling mean distribution obtained is equal to the variance of the population divided by the sample size. This is because as the sample size increases, sample means cluster more closely around the population mean.

Therefore, the relationship between the standard error of the mean and the standard deviation is such that, for a given sample size, the standard error of the mean equals the standard deviation divided by the square root of the sample size.^[1] In other words, the standard error of the mean is a measure of the dispersion of sample means around the population mean.

In regression analysis, the term "standard error" refers either to the square root of the reduced chi-squared statistic or the standard error for a particular regression coefficient (as used in, say, confidence intervals).

https://en.wikipedia.org/wiki/Standard_error

https://en.wikipedia.org/wiki/Probability_interpretations

https://en.wikipedia.org/wiki/Measurable_function

https://en.wikipedia.org/wiki/%CE%A3-algebra

https://en.wikipedia.org/w/index.php?title=Probability_measure_space&redirect=no

https://en.wikipedia.org/wiki/Conditional_probability_distribution

https://en.wikipedia.org/wiki/Sufficient_statistic

https://en.wikipedia.org/wiki/Kolmogorov_structure_function

https://en.wikipedia.org/wiki/Algorithmic_information_theory

https://en.wikipedia.org/wiki/Prefix_code

https://en.wikipedia.org/wiki/Variable-length_code#Uniquely_decodable_codes

(in the self-delimited case)

https://en.wikipedia.org/wiki/Algorithmic_information_theory

Unlike classical information theory, algorithmic information theory gives formal, rigorous definitions of a random string and a random infinite sequence that do not depend on physical or philosophical intuitions about nondeterminism or likelihood.

https://en.wikipedia.org/wiki/Algorithmic_information_theory

Although Ω is easily defined, in any consistent axiomatizable theory one can only compute finitely many digits of Ω, so it is in some sense unknowable, providing an absolute limit on knowledge that is reminiscent of Gödel's incompleteness theorems.

https://en.wikipedia.org/wiki/Algorithmic_information_theory

https://en.wikipedia.org/wiki/Limit_of_a_sequence

https://en.wikipedia.org/wiki/Bayesian_inference

https://en.wikipedia.org/wiki/Independent_and_identically_distributed_random_variables

https://en.wikipedia.org/wiki/Rigour#Mathematical_rigour

https://en.wikipedia.org/wiki/Formal_system

https://en.wikipedia.org/wiki/Kolmogorov_complexity

https://en.wikipedia.org/wiki/Algorithmically_random_sequence

https://en.wiktionary.org/wiki/nondeterminism

https://en.wikipedia.org/wiki/Likelihood_function

https://en.wikipedia.org/wiki/Point_estimation

https://en.wikipedia.org/wiki/Mean_squared_error

https://en.wikipedia.org/wiki/Bias_of_an_estimator

https://en.wikipedia.org/w/index.php?title=Unbiased_estimator&redirect=no

https://en.wikipedia.org/wiki/Characterizations_of_the_exponential_function

https://en.wikipedia.org/wiki/Limit_(mathematics)

https://en.wikipedia.org/wiki/Net_(topology)

https://en.wikipedia.org/wiki/Continuous_function#Continuous_functions_between_topological_spaces

https://en.wikipedia.org/wiki/Image_(mathematics)#Inverse_image

Inverse image

Let $f$ be a function from $X$ to $Y .$ The preimage or inverse image of a set $B \subseteq Y$ under $f,$ denoted by $f^{- 1} [B],$ is the subset of $X$ defined by

f^{- 1} [B] = {x \in X : f (x) \in B} .

Other notations include $f^{- 1} (B)$ and $f^{-} (B) .$ ^[4] The inverse image of a singleton set, denoted by $f^{- 1} [{y}]$ or by $f^{- 1} [y],$ is also called the fiber or fiber over $y$ or the level set of $y .$ The set of all the fibers over the elements of $Y$ is a family of sets indexed by $Y .$

For example, for the function $f (x) = x^{2},$ the inverse image of ${4}$ would be ${- 2, 2} .$ Again, if there is no risk of confusion, $f^{- 1} [B]$ can be denoted by $f^{- 1} (B),$ and $f^{- 1}$ can also be thought of as a function from the power set of $Y$ to the power set of $X .$ The notation $f^{- 1}$ should not be confused with that for inverse function, although it coincides with the usual one for bijections in that the inverse image of $B$ under $f$ is the image of $B$ under $f^{- 1} .$

Notation for image and inverse image

The traditional notations used in the previous section do not distinguish the original function $f : X \to Y$ from the image-of-sets function $f : P (X) \to P (Y)$ ; likewise they do not distinguish the inverse function (assuming one exists) from the inverse image function (which again relates the powersets). Given the right context, this keeps the notation light and usually does not cause confusion. But if needed, an alternative^[5] is to give explicit names for the image and preimage as functions between power sets:

Arrow notation

$f^{\to} : P (X) \to P (Y)$ with $f^{\to} (A) = {f (a) | a \in A}$
$f^{\leftarrow} : P (Y) \to P (X)$ with $f^{\leftarrow} (B) = {a \in X | f (a) \in B}$

Star notation

$f_{⋆} : P (X) \to P (Y)$ instead of $f^{\to}$
$f^{⋆} : P (Y) \to P (X)$ instead of $f^{\leftarrow}$

Other terminology

An alternative notation for $f [A]$ used in mathematical logic and set theory is $f^{″} A .$ ^[6]^[7]
Some texts refer to the image of $f$ as the range of $f,$ ^[8] but this usage should be avoided because the word "range" is also commonly used to mean the codomain of $f .$

https://en.wikipedia.org/wiki/Image_(mathematics)#Inverse_image

Continuous functions between topological spaces

Another, more abstract, notion of continuity is continuity of functions between topological spaces in which there generally is no formal notion of distance, as there is in the case of metric spaces. A topological space is a set X together with a topology on X, which is a set of subsets of X satisfying a few requirements with respect to their unions and intersections that generalize the properties of the open balls in metric spaces while still allowing to talk about the neighbourhoods of a given point. The elements of a topology are called open subsets of X (with respect to the topology).

A function

f : X \to Y

between two topological spaces X and Y is continuous if for every open set

V \subseteq Y,

the inverse image

f^{- 1} (V) = {x \in X | f (x) \in V}

is an open subset of X. That is, f is a function between the sets X and Y (not on the elements of the topology

T_{X}

), but the continuity of f depends on the topologies used on X and Y.

This is equivalent to the condition that the preimages of the closed sets (which are the complements of the open subsets) in Y are closed in X.

An extreme example: if a set X is given the discrete topology (in which every subset is open), all functions

f : X \to T

to any topological space T are continuous. On the other hand, if X is equipped with the indiscrete topology (in which the only open subsets are the empty set and X) and the space T set is at least T₀, then the only continuous functions are the constant functions. Conversely, any function whose codomain is indiscrete is continuous.

Continuity at a point

Continuity at a point: For every neighborhood V of

f (x)

, there is a neighborhood U of x such that

f (U) \subseteq V

The translation in the language of neighborhoods of the $(ε, δ)$ -definition of continuity leads to the following definition of the continuity at a point:

A function $f : X \to Y$ is continuous at a point $x \in X$ if and only if for any neighborhood $V$ of $f (x)$ in $Y$ , there is a neighborhood $U$ of $x$ such that $f (U) \subseteq V .$

This definition is equivalent to the same statement with neighborhoods restricted to open neighborhoods and can be restated in several ways by using preimages rather than images.

Also, as every set that contains a neighborhood is also a neighborhood, and $f^{- 1} (V)$ is the largest subset $U$ of $X$ such that $f (U) \subseteq V,$ this definition may be simplified into:

A function $f : X \to Y$ is continuous at a point $x \in X$ if and only if $f^{- 1} (V)$ is a neighborhood of $x$ for every neighborhood $V$ of $f (x)$ in $Y$ .

As an open set is a set that is a neighborhood of all its points, a function $f : X \to Y$ is continuous at every point of $X$ if and only if it is a continuous function.

If X and Y are metric spaces, it is equivalent to consider the neighborhood system of open balls centered at x and f(x) instead of all neighborhoods. This gives back the above $ε - δ$ definition of continuity in the context of metric spaces. In general topological spaces, there is no notion of nearness or distance. If however the target space is a Hausdorff space, it is still true that f is continuous at a if and only if the limit of f as x approaches a is f(a). At an isolated point, every function is continuous.

Given $x \in X,$ a map $f : X \to Y$ is continuous at $x$ if and only if whenever $B$ is a filter on $X$ that converges to $x$ in $X,$ which is expressed by writing $B \to x,$ then necessarily $f (B) \to f (x)$ in $Y .$ If $N (x)$ denotes the neighborhood filter at $x$ then $f : X \to Y$ is continuous at $x$ if and only if $f (N (x)) \to f (x)$ in $Y .$ ^[16] Moreover, this happens if and only if the prefilter $f (N (x))$ is a filter base for the neighborhood filter of $f (x)$ in $Y .$ ^[16]

Alternative definitions

Several equivalent definitions for a topological structure exist and thus there are several equivalent ways to define a continuous function.

Sequences and nets

In several contexts, the topology of a space is conveniently specified in terms of limit points. In many instances, this is accomplished by specifying when a point is the limit of a sequence, but for some spaces that are too large in some sense, one specifies also when a point is the limit of more general sets of points indexed by a directed set, known as nets. A function is (Heine-)continuous only if it takes limits of sequences to limits of sequences. In the former case, preservation of limits is also sufficient; in the latter, a function may preserve all limits of sequences yet still fail to be continuous, and preservation of nets is a necessary and sufficient condition.

In detail, a function $f : X \to Y$ is sequentially continuous if whenever a sequence $(x_{n})$ in $X$ converges to a limit $x,$ the sequence $(f (x_{n}))$ converges to $f (x) .$ Thus sequentially continuous functions "preserve sequential limits". Every continuous function is sequentially continuous. If $X$ is a first-countable space and countable choice holds, then the converse also holds: any function preserving sequential limits is continuous. In particular, if $X$ is a metric space, sequential continuity and continuity are equivalent. For non first-countable spaces, sequential continuity might be strictly weaker than continuity. (The spaces for which the two properties are equivalent are called sequential spaces.) This motivates the consideration of nets instead of sequences in general topological spaces. Continuous functions preserve limits of nets, and in fact this property characterizes continuous functions.

For instance, consider the case of real-valued functions of one real variable:^[17]

Theorem — A function $f : A \subseteq R \to R$ is continuous at $x_{0}$ if and only if it is sequentially continuous at that point.

Proof

Closure operator and interior operator definitions

In terms of the interior operator, a function $f : X \to Y$ between topological spaces is continuous if and only if for every subset $B \subseteq Y,$

f^{- 1} ({int}_{Y} B) \subseteq {int}_{X} (f^{- 1} (B)) .

In terms of the closure operator, $f : X \to Y$ is continuous if and only if for every subset $A \subseteq X,$

f ({cl}_{X} A) \subseteq {cl}_{Y} (f (A)) .

That is to say, given any element

x \in X

that belongs to the closure of a subset

A \subseteq X,

f (x)

necessarily belongs to the closure of

f (A)

Y .

If we declare that a point

x

is close to a subset

A \subseteq X

x \in {cl}_{X} A,

then this terminology allows for a plain English description of continuity:

f

is continuous if and only if for every subset

A \subseteq X,

f

maps points that are close to

A

to points that are close to

f (A) .

Similarly,

f

is continuous at a fixed given point

x \in X

if and only if whenever

x

is close to a subset

A \subseteq X,

then

f (x)

is close to

f (A) .

Instead of specifying topological spaces by their open subsets, any topology on $X$ can alternatively be determined by a closure operator or by an interior operator. Specifically, the map that sends a subset $A$ of a topological space $X$ to its topological closure ${cl}_{X} A$ satisfies the Kuratowski closure axioms. Conversely, for any closure operator $A \mapsto cl A$ there exists a unique topology $τ$ on $X$ (specifically, $τ := {X ∖ cl A : A \subseteq X}$ ) such that for every subset $A \subseteq X,$ $cl A$ is equal to the topological closure ${cl}_{(X, τ)} A$ of $A$ in $(X, τ) .$ If the sets $X$ and $Y$ are each associated with closure operators (both denoted by $cl$ ) then a map $f : X \to Y$ is continuous if and only if $f (cl A) \subseteq cl (f (A))$ for every subset $A \subseteq X .$

Similarly, the map that sends a subset $A$ of $X$ to its topological interior ${int}_{X} A$ defines an interior operator. Conversely, any interior operator $A \mapsto int A$ induces a unique topology $τ$ on $X$ (specifically, $τ := {int A : A \subseteq X}$ ) such that for every $A \subseteq X,$ $int A$ is equal to the topological interior ${int}_{(X, τ)} A$ of $A$ in $(X, τ) .$ If the sets $X$ and $Y$ are each associated with interior operators (both denoted by $int$ ) then a map $f : X \to Y$ is continuous if and only if $f^{- 1} (int B) \subseteq int (f^{- 1} (B))$ for every subset $B \subseteq Y .$ ^[18]

Filters and prefilters

Continuity can also be characterized in terms of filters. A function $f : X \to Y$ is continuous if and only if whenever a filter $B$ on $X$ converges in $X$ to a point $x \in X,$ then the prefilter $f (B)$ converges in $Y$ to $f (x) .$ This characterization remains true if the word "filter" is replaced by "prefilter."^[16]

Properties

If $f : X \to Y$ and $g : Y \to Z$ are continuous, then so is the composition $g \circ f : X \to Z .$ If $f : X \to Y$ is continuous and

X is compact, then f(X) is compact.
X is connected, then f(X) is connected.
X is path-connected, then f(X) is path-connected.
X is Lindelöf, then f(X) is Lindelöf.
X is separable, then f(X) is separable.

The possible topologies on a fixed set X are partially ordered: a topology $τ_{1}$ is said to be coarser than another topology $τ_{2}$ (notation: $τ_{1} \subseteq τ_{2}$ ) if every open subset with respect to $τ_{1}$ is also open with respect to $τ_{2} .$ Then, the identity map

{id}_{X} : (X, τ_{2}) \to (X, τ_{1})

is continuous if and only if

τ_{1} \subseteq τ_{2}

(see also comparison of topologies). More generally, a continuous function

(X, τ_{X}) \to (Y, τ_{Y})

stays continuous if the topology

τ_{Y}

is replaced by a coarser topology and/or

τ_{X}

is replaced by a finer topology.

Homeomorphisms

Symmetric to the concept of a continuous map is an open map, for which images of open sets are open. In fact, if an open map f has an inverse function, that inverse is continuous, and if a continuous map g has an inverse, that inverse is open. Given a bijective function f between two topological spaces, the inverse function $f^{- 1}$ need not be continuous. A bijective continuous function with continuous inverse function is called a homeomorphism.

If a continuous bijection has as its domain a compact space and its codomain is Hausdorff, then it is a homeomorphism.

Defining topologies via continuous functions

Given a function

f : X \to S,

where X is a topological space and S is a set (without a specified topology), the final topology on S is defined by letting the open sets of S be those subsets A of S for which

f^{- 1} (A)

is open in X. If S has an existing topology, f is continuous with respect to this topology if and only if the existing topology is coarser than the final topology on S. Thus the final topology can be characterized as the finest topology on S that makes f continuous. If f is surjective, this topology is canonically identified with the quotient topology under the equivalence relation defined by f.

Dually, for a function f from a set S to a topological space X, the initial topology on S is defined by designating as an open set every subset A of S such that $A = f^{- 1} (U)$ for some open subset U of X. If S has an existing topology, f is continuous with respect to this topology if and only if the existing topology is finer than the initial topology on S. Thus the initial topology can be characterized as the coarsest topology on S that makes f continuous. If f is injective, this topology is canonically identified with the subspace topology of S, viewed as a subset of X.

A topology on a set S is uniquely determined by the class of all continuous functions $S \to X$ into all topological spaces X. Dually, a similar idea can be applied to maps $X \to S .$

Related notions

If $f : S \to Y$ is a continuous function from some subset $S$ of a topological space $X$ then a continuous extension of $f$ to $X$ is any continuous function $F : X \to Y$ such that $F (s) = f (s)$ for every $s \in S,$ which is a condition that often written as $f = F |_{S} .$ In words, it is any continuous function $F : X \to Y$ that restricts to $f$ on $S .$ This notion is used, for example, in the Tietze extension theorem and the Hahn–Banach theorem. Were $f : S \to Y$ not continuous then it could not possibly have a continuous extension. If $Y$ is a Hausdorff space and $S$ is a dense subset of $X$ then a continuous extension of $f : S \to Y$ to $X,$ if one exists, will be unique. The Blumberg theorem states that if $f : R \to R$ is an arbitrary function then there exists a dense subset $D$ of $R$ such that the restriction $f |_{D} : D \to R$ is continuous; in other words, every function $R \to R$ can be restricted to some dense subset on which it is continuous.

Various other mathematical domains use the concept of continuity in different, but related meanings. For example, in order theory, an order-preserving function $f : X \to Y$ between particular types of partially ordered sets $X$ and $Y$ is continuous if for each directed subset $A$ of $X,$ we have $sup f (A) = f (sup A) .$ Here $sup$ is the supremum with respect to the orderings in $X$ and $Y,$ respectively. This notion of continuity is the same as topological continuity when the partially ordered sets are given the Scott topology.^[19]^[20]

In category theory, a functor

F : C \to D

between two categories is called continuous if it commutes with small limits. That is to say,

\underset{i \in I}{\lim_{\leftarrow}} F (C_{i}) ≅ F (\underset{i \in I}{\lim_{\leftarrow}} C_{i})

for any small (that is, indexed by a set

I,

as opposed to a class) diagram of objects in

C

A continuity space is a generalization of metric spaces and posets,^[21]^[22] which uses the concept of quantales, and that can be used to unify the notions of metric spaces and domains.^[23]

Definition

The likelihood function, parameterized by a (possibly multivariate) parameter $θ$ , is usually defined differently for discrete and continuous probability distributions (a more general definition is discussed below). Given a probability density or mass function

x \mapsto f (x ∣ θ),

where $x$ is a realization of the random variable $X$ , the likelihood function is

θ \mapsto f (x ∣ θ),

often written

L (θ ∣ x) .

In other words, when $f (x ∣ θ)$ is viewed as a function of $x$ with $θ$ fixed, it is a probability density function, and when viewed as a function of $θ$ with $x$ fixed, it is a likelihood function. The likelihood function does not specify the probability that $θ$ is the truth, given the observed sample $X = x$ . Such an interpretation is a common error, with potentially disastrous consequences (see prosecutor's fallacy).

https://en.wikipedia.org/wiki/Likelihood_function

By the extreme value theorem, it suffices that the likelihood function is continuous on a compact parameter space for the maximum likelihood estimator to exist.^[5] While the continuity assumption is usually met, the compactness assumption about the parameter space is often not, as the bounds of the true parameter values are unknown.

https://en.wikipedia.org/wiki/Likelihood_function

https://en.wikipedia.org/wiki/Counting_measure

https://en.wikipedia.org/wiki/Negative_definiteness

https://en.wikipedia.org/wiki/Connected_space

https://en.wikipedia.org/wiki/Concave_function

https://en.wikipedia.org/wiki/Continuous_function

https://en.wikipedia.org/wiki/Compact_space

https://en.wikipedia.org/wiki/Limit_(mathematics)

https://en.wikipedia.org/wiki/Likelihood_function

https://en.wikipedia.org/wiki/Morse_theory

https://en.wikipedia.org/wiki/Nuisance_parameter

^{https://en.wikipedia.org/wiki/Cognitive_dissonance}

^{https://en.wikipedia.org/wiki/Social_class}

^{https://en.wikipedia.org/wiki/Social_theory}

^{https://en.wikipedia.org/wiki/Social_phenomenon}

^{https://en.wikipedia.org/wiki/Sociological_imagination}

^{https://en.wikipedia.org/wiki/Imaginary_(sociology)}

^{https://en.wikipedia.org/wiki/Social_group}

^{https://en.wikipedia.org/wiki/Antisocial}

^{https://en.wikipedia.org/wiki/Isolation}

^{https://en.wikipedia.org/wiki/Solitary}

^{https://en.wikipedia.org/wiki/Unknown}

^{https://en.wikipedia.org/wiki/Uncertainty}

^{https://en.wikipedia.org/wiki/Stochastic}

^{https://en.wikipedia.org/wiki/Assimilation}

^{https://en.wikipedia.org/wiki/Bias}

^{https://en.wikipedia.org/wiki/Observational_error}

Measurement errors can be summarized in terms of accuracy and precision. Measurement error should not be confused with measurement uncertainty.

https://en.wikipedia.org/wiki/Observational_error

https://en.wikipedia.org/wiki/Errors_and_residuals

https://en.wikipedia.org/wiki/Realization_(probability)

https://en.wikipedia.org/wiki/Probability

https://en.wikipedia.org/wiki/Almost_surely

https://en.wikipedia.org/wiki/Realization_(probability)

https://en.wikipedia.org/wiki/Probability_axioms

https://en.wikipedia.org/wiki/Probability_theory

https://en.wikipedia.org/wiki/Event_(probability_theory)

https://en.wikipedia.org/wiki/Empirical_distribution_function

https://en.wikipedia.org/wiki/Empirical_probability

https://en.wikipedia.org/wiki/Random_variable

https://en.wikipedia.org/wiki/Outcome_(probability)

https://en.wikipedia.org/wiki/Sample_space

https://en.wikipedia.org/wiki/Mutual_exclusivity

https://en.wikipedia.org/wiki/Collectively_exhaustive_events

https://en.wikipedia.org/wiki/Dice

https://en.wikipedia.org/wiki/Logic

https://en.wikipedia.org/wiki/Informal_logic

https://en.wikipedia.org/wiki/Measurable_space

https://en.wikipedia.org/wiki/Observational_error

https://en.wikipedia.org/wiki/Mistake

https://en.wikipedia.org/wiki/Statistical_parameter

https://en.wikipedia.org/wiki/Standard_deviation

https://en.wikipedia.org/wiki/Statistical_dispersion

https://en.wikipedia.org/wiki/Central_tendency

https://en.wikipedia.org/wiki/Arithmetic_mean

https://en.wikipedia.org/wiki/Observational_study

https://en.wikipedia.org/wiki/Randomized_controlled_trial

https://en.wikipedia.org/wiki/Random_assignment

https://en.wikipedia.org/wiki/Human_subject_research

https://en.wikipedia.org/wiki/Biological_specimen

https://en.wikipedia.org/wiki/Biorepository

https://en.wikipedia.org/wiki/Random_number_generation

https://en.wikipedia.org/wiki/Confounding

https://en.wikipedia.org/wiki/Spurious_relationship

https://en.wikipedia.org/wiki/Dependent_and_independent_variables

https://en.wikipedia.org/wiki/Correlation_does_not_imply_causation

https://en.wikipedia.org/wiki/Causality

https://en.wikipedia.org/wiki/Internal_validity

https://en.wikipedia.org/wiki/Generalization

https://en.wikipedia.org/wiki/Observational_error

https://en.wikipedia.org/wiki/Time-invariant_system

https://en.wikipedia.org/wiki/Dependent_and_independent_variables

https://en.wiktionary.org/wiki/variation

https://en.wikipedia.org/wiki/Skewness

https://en.wikipedia.org/wiki/Unimodality

https://en.wikipedia.org/wiki/Standard_error

https://en.wikipedia.org/wiki/Probability_interpretations

https://en.wikipedia.org/wiki/Measurable_function

https://en.wikipedia.org/wiki/%CE%A3-algebra

https://en.wikipedia.org/w/index.php?title=Probability_measure_space&redirect=no

https://en.wikipedia.org/wiki/Conditional_probability_distribution

https://en.wikipedia.org/wiki/Sufficient_statistic

https://en.wikipedia.org/wiki/Kolmogorov_structure_function

https://en.wikipedia.org/wiki/Algorithmic_information_theory

https://en.wikipedia.org/wiki/Prefix_code

https://en.wikipedia.org/wiki/Variable-length_code#Uniquely_decodable_codes

(in the self-delimited case)

https://en.wikipedia.org/wiki/Algorithmic_information_theory

https://en.wikipedia.org/wiki/Limit_of_a_sequence

https://en.wikipedia.org/wiki/Bayesian_inference

https://en.wikipedia.org/wiki/Independent_and_identically_distributed_random_variables

https://en.wikipedia.org/wiki/Rigour#Mathematical_rigour

https://en.wikipedia.org/wiki/Formal_system

https://en.wikipedia.org/wiki/Kolmogorov_complexity

https://en.wikipedia.org/wiki/Algorithmically_random_sequence

https://en.wiktionary.org/wiki/nondeterminism

https://en.wikipedia.org/wiki/Likelihood_function

https://en.wikipedia.org/wiki/Point_estimation

https://en.wikipedia.org/wiki/Mean_squared_error

https://en.wikipedia.org/wiki/Bias_of_an_estimator

https://en.wikipedia.org/w/index.php?title=Unbiased_estimator&redirect=no

https://en.wikipedia.org/wiki/Characterizations_of_the_exponential_function

https://en.wikipedia.org/wiki/Limit_(mathematics)

https://en.wikipedia.org/wiki/Net_(topology)

https://en.wikipedia.org/wiki/Continuous_function#Continuous_functions_between_topological_spaces

https://en.wikipedia.org/wiki/Image_(mathematics)#Inverse_image

Inverse image

Let $f$ be a function from $X$ to $Y.$ The preimage or inverse image of a set $B\subseteq Y$ under $f,$ denoted by $f^{-1}[B],$ is the subset of $X$ defined by

f^{-1}[B]=\{x\in X\,:\,f(x)\in B\}.

Other notations include $f^{{-1}}(B)$ and $f^{-}(B).$ ^[4] The inverse image of a singleton set, denoted by $f^{-1}[\{y\}]$ or by $f^{-1}[y],$ is also called the fiber or fiber over $y$ or the level set of $y.$ The set of all the fibers over the elements of $Y$ is a family of sets indexed by $Y.$

For example, for the function $f(x)=x^{2},$ the inverse image of $\{4\}$ would be $\{-2,2\}.$ Again, if there is no risk of confusion, $f^{-1}[B]$ can be denoted by $f^{-1}(B),$ and $f^{-1}$ can also be thought of as a function from the power set of $Y$ to the power set of $X.$ The notation $f^{-1}$ should not be confused with that for inverse function, although it coincides with the usual one for bijections in that the inverse image of $B$ under $f$ is the image of $B$ under $f^{-1}.$

Notation for image and inverse image

The traditional notations used in the previous section do not distinguish the original function $f:X\to Y$ from the image-of-sets function $f:{\mathcal {P}}(X)\to {\mathcal {P}}(Y)$ ; likewise they do not distinguish the inverse function (assuming one exists) from the inverse image function (which again relates the powersets). Given the right context, this keeps the notation light and usually does not cause confusion. But if needed, an alternative^[5] is to give explicit names for the image and preimage as functions between power sets:

Arrow notation

$f^{\rightarrow }:{\mathcal {P}}(X)\to {\mathcal {P}}(Y)$ with $f^{\rightarrow }(A)=\{f(a)\;|\;a\in A\}$
$f^{\leftarrow }:{\mathcal {P}}(Y)\to {\mathcal {P}}(X)$ with $f^{\leftarrow }(B)=\{a\in X\;|\;f(a)\in B\}$

Star notation

$f_{\star }:{\mathcal {P}}(X)\to {\mathcal {P}}(Y)$ instead of $f^{\rightarrow }$
$f^{\star }:{\mathcal {P}}(Y)\to {\mathcal {P}}(X)$ instead of $f^{\leftarrow }$

Other terminology

An alternative notation for $f[A]$ used in mathematical logic and set theory is $f\,''A.$ ^[6]^[7]
Some texts refer to the image of $f$ as the range of $f,$ ^[8] but this usage should be avoided because the word "range" is also commonly used to mean the codomain of $f.$

https://en.wikipedia.org/wiki/Image_(mathematics)#Inverse_image

Continuous functions between topological spaces

A function

f:X\to Y

between two topological spaces X and Y is continuous if for every open set

V\subseteq Y,

the inverse image

f^{-1}(V)=\{x\in X\;|\;f(x)\in V\}

is an open subset of X. That is, f is a function between the sets X and Y (not on the elements of the topology

T_{X}

), but the continuity of f depends on the topologies used on X and Y.

This is equivalent to the condition that the preimages of the closed sets (which are the complements of the open subsets) in Y are closed in X.

An extreme example: if a set X is given the discrete topology (in which every subset is open), all functions

f:X\to T

Continuity at a point

Continuity at a point: For every neighborhood V of

f(x)

, there is a neighborhood U of x such that

f(U)\subseteq V

The translation in the language of neighborhoods of the $(\varepsilon, \delta)$ -definition of continuity leads to the following definition of the continuity at a point:

A function $f:X\to Y$ is continuous at a point $x\in X$ if and only if for any neighborhood $V$ of $f(x)$ in $Y$ , there is a neighborhood $U$ of $x$ such that $f(U)\subseteq V.$

This definition is equivalent to the same statement with neighborhoods restricted to open neighborhoods and can be restated in several ways by using preimages rather than images.

Also, as every set that contains a neighborhood is also a neighborhood, and $f^{{-1}}(V)$ is the largest subset $U$ of $X$ such that $f(U)\subseteq V,$ this definition may be simplified into:

A function $f:X\to Y$ is continuous at a point $x\in X$ if and only if $f^{{-1}}(V)$ is a neighborhood of $x$ for every neighborhood $V$ of $f(x)$ in $Y$ .

As an open set is a set that is a neighborhood of all its points, a function $f:X\to Y$ is continuous at every point of $X$ if and only if it is a continuous function.

If X and Y are metric spaces, it is equivalent to consider the neighborhood system of open balls centered at x and f(x) instead of all neighborhoods. This gives back the above $\varepsilon -\delta$ definition of continuity in the context of metric spaces. In general topological spaces, there is no notion of nearness or distance. If however the target space is a Hausdorff space, it is still true that f is continuous at a if and only if the limit of f as x approaches a is f(a). At an isolated point, every function is continuous.

Given $x\in X,$ a map $f:X\to Y$ is continuous at $x$ if and only if whenever ${\mathcal {B}}$ is a filter on $X$ that converges to $x$ in $X,$ which is expressed by writing ${\mathcal {B}}\to x,$ then necessarily $f({\mathcal {B}})\to f(x)$ in $Y.$ If ${\mathcal {N}}(x)$ denotes the neighborhood filter at $x$ then $f:X\to Y$ is continuous at $x$ if and only if $f({\mathcal {N}}(x))\to f(x)$ in $Y.$ ^[16] Moreover, this happens if and only if the prefilter $f({\mathcal {N}}(x))$ is a filter base for the neighborhood filter of $f(x)$ in $Y.$ ^[16]

Alternative definitions

Several equivalent definitions for a topological structure exist and thus there are several equivalent ways to define a continuous function.

Sequences and nets

In detail, a function $f:X\to Y$ is sequentially continuous if whenever a sequence $\left(x_{n}\right)$ in $X$ converges to a limit $x,$ the sequence $\left(f\left(x_{n}\right)\right)$ converges to $f(x).$ Thus sequentially continuous functions "preserve sequential limits". Every continuous function is sequentially continuous. If $X$ is a first-countable space and countable choice holds, then the converse also holds: any function preserving sequential limits is continuous. In particular, if $X$ is a metric space, sequential continuity and continuity are equivalent. For non first-countable spaces, sequential continuity might be strictly weaker than continuity. (The spaces for which the two properties are equivalent are called sequential spaces.) This motivates the consideration of nets instead of sequences in general topological spaces. Continuous functions preserve limits of nets, and in fact this property characterizes continuous functions.

For instance, consider the case of real-valued functions of one real variable:^[17]

Theorem — A function $f:A\subseteq \mathbb {R} \to \mathbb {R}$ is continuous at $x_{0}$ if and only if it is sequentially continuous at that point.

Proof

Closure operator and interior operator definitions

In terms of the interior operator, a function $f:X\to Y$ between topological spaces is continuous if and only if for every subset $B\subseteq Y,$

f^{-1}\left(\operatorname {int} _{Y}B\right)~\subseteq ~\operatorname {int} _{X}\left(f^{-1}(B)\right).

In terms of the closure operator, $f:X\to Y$ is continuous if and only if for every subset $A\subseteq X,$

f\left(\operatorname {cl} _{X}A\right)~\subseteq ~\operatorname {cl} _{Y}(f(A)).

That is to say, given any element

x\in X

that belongs to the closure of a subset

A\subseteq X,

f(x)

necessarily belongs to the closure of

f(A)

Y.

If we declare that a point

x

is close to a subset

A\subseteq X

x\in \operatorname {cl} _{X}A,

then this terminology allows for a plain English description of continuity:

f

is continuous if and only if for every subset

A\subseteq X,

f

maps points that are close to

A

to points that are close to

f(A).

Similarly,

f

is continuous at a fixed given point

x\in X

if and only if whenever

x

is close to a subset

A\subseteq X,

then

f(x)

is close to

f(A).

Instead of specifying topological spaces by their open subsets, any topology on $X$ can alternatively be determined by a closure operator or by an interior operator. Specifically, the map that sends a subset $A$ of a topological space $X$ to its topological closure $\operatorname {cl} _{X}A$ satisfies the Kuratowski closure axioms. Conversely, for any closure operator $A\mapsto \operatorname {cl} A$ there exists a unique topology $\tau$ on $X$ (specifically, $\tau :=\{X\setminus \operatorname {cl} A:A\subseteq X\}$ ) such that for every subset $A\subseteq X,$ $\operatorname {cl} A$ is equal to the topological closure $\operatorname {cl} _{(X,\tau )}A$ of $A$ in $(X,\tau ).$ If the sets $X$ and $Y$ are each associated with closure operators (both denoted by $\operatorname {cl}$ ) then a map $f:X\to Y$ is continuous if and only if $f(\operatorname {cl} A)\subseteq \operatorname {cl} (f(A))$ for every subset $A\subseteq X.$

Similarly, the map that sends a subset $A$ of $X$ to its topological interior $\operatorname {int} _{X}A$ defines an interior operator. Conversely, any interior operator $A\mapsto \operatorname {int} A$ induces a unique topology $\tau$ on $X$ (specifically, $\tau :=\{\operatorname {int} A:A\subseteq X\}$ ) such that for every $A\subseteq X,$ $\operatorname {int} A$ is equal to the topological interior $\operatorname {int} _{(X,\tau )}A$ of $A$ in $(X,\tau ).$ If the sets $X$ and $Y$ are each associated with interior operators (both denoted by $\operatorname {int}$ ) then a map $f:X\to Y$ is continuous if and only if $f^{-1}(\operatorname {int} B)\subseteq \operatorname {int} \left(f^{-1}(B)\right)$ for every subset $B\subseteq Y.$ ^[18]

Filters and prefilters

Continuity can also be characterized in terms of filters. A function $f:X\to Y$ is continuous if and only if whenever a filter ${\mathcal {B}}$ on $X$ converges in $X$ to a point $x\in X,$ then the prefilter $f({\mathcal {B}})$ converges in $Y$ to $f(x).$ This characterization remains true if the word "filter" is replaced by "prefilter."^[16]

Properties

If $f:X\to Y$ and $g:Y\to Z$ are continuous, then so is the composition $g\circ f:X\to Z.$ If $f:X\to Y$ is continuous and

X is compact, then f(X) is compact.
X is connected, then f(X) is connected.
X is path-connected, then f(X) is path-connected.
X is Lindelöf, then f(X) is Lindelöf.
X is separable, then f(X) is separable.

The possible topologies on a fixed set X are partially ordered: a topology $\tau _{1}$ is said to be coarser than another topology $\tau _{2}$ (notation: $\tau _{1}\subseteq \tau _{2}$ ) if every open subset with respect to $\tau _{1}$ is also open with respect to $\tau _{2}.$ Then, the identity map

\operatorname {id} _{X}:\left(X,\tau _{2}\right)\to \left(X,\tau _{1}\right)

is continuous if and only if

\tau _{1}\subseteq \tau _{2}

(see also comparison of topologies). More generally, a continuous function

\left(X,\tau _{X}\right)\to \left(Y,\tau _{Y}\right)

stays continuous if the topology

\tau _{Y}

is replaced by a coarser topology and/or

\tau _{X}

is replaced by a finer topology.

Homeomorphisms

Symmetric to the concept of a continuous map is an open map, for which images of open sets are open. In fact, if an open map f has an inverse function, that inverse is continuous, and if a continuous map g has an inverse, that inverse is open. Given a bijective function f between two topological spaces, the inverse function $f^{-1}$ need not be continuous. A bijective continuous function with continuous inverse function is called a homeomorphism.

If a continuous bijection has as its domain a compact space and its codomain is Hausdorff, then it is a homeomorphism.

Defining topologies via continuous functions

Given a function

f:X\to S,

where X is a topological space and S is a set (without a specified topology), the final topology on S is defined by letting the open sets of S be those subsets A of S for which

f^{-1}(A)

Dually, for a function f from a set S to a topological space X, the initial topology on S is defined by designating as an open set every subset A of S such that $A=f^{-1}(U)$ for some open subset U of X. If S has an existing topology, f is continuous with respect to this topology if and only if the existing topology is finer than the initial topology on S. Thus the initial topology can be characterized as the coarsest topology on S that makes f continuous. If f is injective, this topology is canonically identified with the subspace topology of S, viewed as a subset of X.

A topology on a set S is uniquely determined by the class of all continuous functions $S\to X$ into all topological spaces X. Dually, a similar idea can be applied to maps $X\to S.$

Related notions

If $f:S\to Y$ is a continuous function from some subset $S$ of a topological space $X$ then a continuous extension of $f$ to $X$ is any continuous function $F:X\to Y$ such that $F(s)=f(s)$ for every $s\in S,$ which is a condition that often written as $f=F{\big \vert }_{S}.$ In words, it is any continuous function $F:X\to Y$ that restricts to $f$ on $S.$ This notion is used, for example, in the Tietze extension theorem and the Hahn–Banach theorem. Were $f:S\to Y$ not continuous then it could not possibly have a continuous extension. If $Y$ is a Hausdorff space and $S$ is a dense subset of $X$ then a continuous extension of $f:S\to Y$ to $X,$ if one exists, will be unique. The Blumberg theorem states that if $f:\mathbb {R} \to \mathbb {R}$ is an arbitrary function then there exists a dense subset $D$ of $\mathbb {R}$ such that the restriction $f{\big \vert }_{D}:D\to \mathbb {R}$ is continuous; in other words, every function $\mathbb {R} \to \mathbb {R}$ can be restricted to some dense subset on which it is continuous.

Various other mathematical domains use the concept of continuity in different, but related meanings. For example, in order theory, an order-preserving function $f:X\to Y$ between particular types of partially ordered sets $X$ and $Y$ is continuous if for each directed subset $A$ of $X,$ we have $\sup f(A)=f(\sup A).$ Here $\,\sup \,$ is the supremum with respect to the orderings in $X$ and $Y,$ respectively. This notion of continuity is the same as topological continuity when the partially ordered sets are given the Scott topology.^[19]^[20]

In category theory, a functor

F:{\mathcal {C}}\to {\mathcal {D}}

between two categories is called continuous if it commutes with small limits. That is to say,

\varprojlim _{i\in I}F(C_{i})\cong F\left(\varprojlim _{i\in I}C_{i}\right)

for any small (that is, indexed by a set

I,

as opposed to a class) diagram of objects in

{\mathcal {C}}

A continuity space is a generalization of metric spaces and posets,^[21]^[22] which uses the concept of quantales, and that can be used to unify the notions of metric spaces and domains.^[23]

Definition

The likelihood function, parameterized by a (possibly multivariate) parameter $\theta$ , is usually defined differently for discrete and continuous probability distributions (a more general definition is discussed below). Given a probability density or mass function

x\mapsto f(x\mid \theta ),\!

where $x$ is a realization of the random variable $X$ , the likelihood function is

\theta\mapsto f(x\mid\theta), \!

often written

{\mathcal {L}}(\theta \mid x).\!

In other words, when $f(x\mid \theta )$ is viewed as a function of $x$ with $\theta$ fixed, it is a probability density function, and when viewed as a function of $\theta$ with $x$ fixed, it is a likelihood function. The likelihood function does not specify the probability that $\theta$ is the truth, given the observed sample $X=x$ . Such an interpretation is a common error, with potentially disastrous consequences (see prosecutor's fallacy).

https://en.wikipedia.org/wiki/Likelihood_function

https://en.wikipedia.org/wiki/Counting_measure

https://en.wikipedia.org/wiki/Negative_definiteness

https://en.wikipedia.org/wiki/Connected_space

https://en.wikipedia.org/wiki/Concave_function

https://en.wikipedia.org/wiki/Continuous_function

https://en.wikipedia.org/wiki/Compact_space

https://en.wikipedia.org/wiki/Limit_(mathematics)

https://en.wikipedia.org/wiki/Likelihood_function

https://en.wikipedia.org/wiki/Morse_theory

https://en.wikipedia.org/wiki/Nuisance_parameter

https://en.wikipedia.org/wiki/Monotonic_function#Monotonicity_in_calculus_and_analysis

https://en.wikipedia.org/wiki/Prior_probability#Improper_priors

https://en.wikipedia.org/wiki/Simple_random_sample

https://en.wikipedia.org/wiki/Prior_probability#Uninformative_priors

https://en.wikipedia.org/wiki/Loss_function

https://en.wikipedia.org/wiki/Parameter_space

https://en.wikipedia.org/wiki/Stationary_point

https://en.wikipedia.org/wiki/Change_of_basis

https://en.wikipedia.org/wiki/Gamma_distribution

https://en.wikipedia.org/wiki/Rarefaction

In mathematics, an ordered basis of a vector space of finite dimension $n$ allows representing uniquely any element of the vector space by a coordinate vector, which is a sequence of $n$ scalars called coordinates.

^{https://en.wikipedia.org/wiki/Change_of_basis}

^{https://en.wikipedia.org/wiki/Linear_map}

^{https://en.wikipedia.org/wiki/Multivariate_function}

^{https://en.wikipedia.org/wiki/Matrix_inversion}

^{https://en.wikipedia.org/wiki/Square_matrix}

^{https://en.wikipedia.org/wiki/Change_of_basis}

^{https://en.wikipedia.org/wiki/Transpose}

^{https://en.wikipedia.org/wiki/Active_and_passive_transformation}

^{https://en.wikipedia.org/wiki/Diagonalizable_matrix}

^{https://en.wikipedia.org/wiki/Eigenvalues_and_eigenvectors}

^{https://en.wikipedia.org/wiki/Orthogonal_matrix}

^{https://en.wikipedia.org/wiki/Rigid_body}

Nikiya Anton Bettey 2021

Blog Archive

Monday, May 15, 2023

05-14-2023-1937 - variety continued... (draft)

Inverse image

Notation for image and inverse image

Arrow notation

Star notation

Other terminology

Continuous functions between topological spaces

Continuity at a point

Alternative definitions

Sequences and nets

Closure operator and interior operator definitions

Filters and prefilters

Properties

Homeomorphisms

Defining topologies via continuous functions

Related notions

See also

Definition

Inverse image

Notation for image and inverse image

Arrow notation

Star notation

Other terminology

Continuous functions between topological spaces

Continuity at a point

Alternative definitions

Sequences and nets

Closure operator and interior operator definitions

Filters and prefilters

Properties

Homeomorphisms

Defining topologies via continuous functions

Related notions

See also

Definition

No comments:

Post a Comment