Search Results: Talk:Infimum

  • From a page move: This is a redirect from a page that has been moved (renamed). This page was kept as a redirect to avoid breaking links, both internal and external, that may have been made to the old page name.


Talk:Infimum and supremum
Selasa, 2026-01-20 10:30:15

that to find an infimum, one must know a set and a subset that you want to find the infimum of? And in what cases would the infimum *not* belong to the...

Click to read more »
Talk:Essential infimum and essential supremum
Selasa, 2024-05-28 02:21:59

Essential supremum and essential infimum → Essential infimum and essential supremum – For consistency with Infimum and supremum. This is both the alphabetical...

Click to read more »
Talk:Supremum
Senin, 2014-05-05 20:47:39

What is meant is that there is one, perhaps + or - infinity. See also infimum, where I added a phrase to clarify, we can do that here also. - Patrick...

Click to read more »
Talk:Suslin's problem
Sabtu, 2024-02-10 04:15:47

supremum and an infimum;'. This does not state that a non-empty subset bounded above (but not below) has a supremum, and likewise for infimum. This is to...

Click to read more »
Talk:Modulus and characteristic of convexity
Selasa, 2025-04-29 07:08:13

definition of modulus of convexity to the form more commonly used, where the infimum is taken over pairs of points in the unit _sphere_ and not the unit _ball_...

Click to read more »
Talk:Metamaterial
Jumat, 2025-01-17 04:35:26

electromagnetic-material, optic-material, philosophy-material(materialism), add infimum...sorry forgot my password again...75.82.19.242 (talk) 19:19, 18 June 2022...

Click to read more »
Talk:Network calculus
Sabtu, 2024-02-03 12:59:54

order to be more precise in terminology, I believe it should refer to the infimum instead of the minimum, but I would like to better know the motivations...

Click to read more »
Talk:Sion's minimax theorem
Sabtu, 2025-02-08 19:38:12

Even if Y is a single point and f is linear in x, it need not reach its infimum on a non-compact X. Boris Tsirelson (talk) 07:14, 15 May 2017 (UTC)...

Click to read more »
Talk:Von Neumann cardinal assignment
Sabtu, 2024-03-09 12:59:08

(UTC) isn't it slightly misleading to say that the initial ordinal is the infimum of a set of ordinals? wouldn't it be more appropriate to place a minimum...

Click to read more »
Talk:Linnik's theorem
Sabtu, 2024-03-09 09:11:39

satisfying the condition. Is Linnik's constant the smallest L? Or possibly the infimum of the L values if there is no smallest? Or is Linnik's constant not a...

Click to read more »
Talk:Extended real number line
Sabtu, 2024-03-09 07:28:24

of R ¯ {\displaystyle {\overline {\mathbb {R} }}} has both supremum and infimum". Therefore, this revert was inappropriate. Ladislav Mecir (talk) 16:34...

Click to read more »
Talk:Lower envelope
Senin, 2024-02-05 22:32:03

slightly rewrite the article to emphasize "lower envelope"/"pointwise infimum" of a family of functions, and then mention the special case of a finite...

Click to read more »
Talk:Extremal length
Kamis, 2026-06-25 23:49:18

s = 0. Taking the juxtaposition to mean a quotient, it means that the infimum is ∞, i.e. the set is empty. BTW the proof is too long and complicated...

Click to read more »
Talk:Join and meet
Rabu, 2024-07-10 10:43:38

its maximal/minimal element.", what's the point of that? supremum and infimum are stronger 192.76.172.10 (talk) 17:47, 16 May 2014 (UTC) It seems that...

Click to read more »
Talk:Upper and lower bounds
Sabtu, 2024-03-09 12:55:49

minimal elements – I like to conform these pages to the title style of Infimum and supremum (i.e., greatest lower bound and least upper bound). At any...

Click to read more »
Talk:Oscillation (mathematics)
Rabu, 2024-02-07 12:15:21

an interval contained in R). Then, its oscillation is: supremum(f(I))-infimum(f(I)). 46.19.85.55 (talk) 18:39, 10 August 2014 (UTC) merge? Fgnievinski...

Click to read more »
Talk:Lebesgue measure
Sabtu, 2025-11-15 06:38:04

infimum of the sum of radii of etc... but when taking the measure of a set, one must fix an upper bound on the possible radii, then take the infimum,...

Click to read more »
Talk:O-minimality
Selasa, 2007-06-12 17:26:26

the set of elements with a succsesor is definable, and is Z. This has no infimum. Thehalfone 12:58, 11 June 2007 (UTC) I would guess the original author...

Click to read more »
Talk:Limit inferior and limit superior
Sabtu, 2024-03-09 09:06:40

inferior and limit superior are more general terms that represent the infimum and supremum (respectively) of all limit points of a set. The limit inferior...

Click to read more »
Talk:Shapley–Folkman lemma
Kamis, 2025-05-08 03:24:18

defines the distance between two sets, and mixes two distances. One is the infimum of distances between 2 points, which is zero, if two sets have a common...

Click to read more »
Talk:Final topology
Rabu, 2024-07-24 14:15:05

final topology on X with respect to the functions idX : (X, τi) → X is the infimum (or meet) of the topologies {τi} in the lattice of topologies on X. That...

Click to read more »
Talk:Cofinality
Kamis, 2024-10-24 17:43:54

thus well-ordered. The infimum of any nonempty subclass of a well-ordered class exists and is a member of the subclass. So "infimum" and "minimum" mean the...

Click to read more »
Talk:Concentration of measure
Jumat, 2025-03-07 07:50:57

2007 (UTC) Thank you Lavaka 18:51, 10 January 2007 (UTC) ...where the infimum suprenum is over all 1-Lipschitz functions... —Preceding unsigned comment...

Click to read more »
Talk:Special classes of semigroups
Sabtu, 2024-03-09 11:59:19

ak is in a subgroup of S for some k. Every nonempty subset of E has an infimum. Every subgroup of S is trivial. It isn't clear whether these are intended...

Click to read more »
Talk:Arg max
Senin, 2025-12-08 05:05:43

infimum is attained also for x=-1, so arg inf f(x) = {-1, 1}. Isheden (talk) 11:56, 19 July 2011 (UTC) I just discovered that inf stands for infimum,...

Click to read more »
Talk:Ctenostoma infimum
Rabu, 2025-06-18 04:11:47

following WikiProjects: Beetles Low‑importance Insects portal Ctenostoma infimum is within the scope of WikiProject Beetles, an attempt to better organize...

Click to read more »
Talk:Quotient space (linear algebra)
Kamis, 2024-02-08 21:48:55

18 April 2023 (UTC) I think that it worth to explicitly note that the infimum in ‖ [ x ] ‖ X / M = inf m ∈ M ‖ x − m ‖ X . {\displaystyle \|[x]\|_{X/M}=\inf...

Click to read more »
Talk:Commutator subgroup
Sabtu, 2024-03-09 06:50:41

the partial order. A poset need not have a smallest element, but it can. Infimum or meet are other common words used in partial orders and lattices. The...

Click to read more »
Talk:Euclidean domain/Archive 1
Sabtu, 2024-11-23 00:03:48

{\displaystyle \inf _{x\in R\setminus \{0\}}} mean? I know that it's the infimum, but would a casual reader? If the article isn't meant for casual readers...

Click to read more »
Talk:Metric tensor
Sabtu, 2025-11-15 07:28:22

your recent edit is better. I had some concern about the use of the term infimum, but concluded that readers not familiar with it would also be unfamiliar...

Click to read more »
Talk:Stone duality
Sabtu, 2024-03-09 12:07:44

sets of a topological space need not be open, such a family DOES have an infimum in the open set lattice, which is the interior of its intersection. --fudo...

Click to read more »
Talk:Jensen's inequality
Kamis, 2026-05-07 05:14:23

problematic: First of all to make the two definitions (limit vs infimum) agree, the infimum must be restricted to θ > 0 {\displaystyle \theta >0} . Second...

Click to read more »
Talk:Hahn decomposition theorem
Senin, 2025-05-19 00:48:12

s_{n}} is negative, but they are expected to be increasing because they are infimum of a set which become smaller and smaller since N n {\displaystyle N_{n}}...

Click to read more »
Talk:Minkowski–Bouligand dimension
Selasa, 2024-02-20 13:25:33

not the same as Minkowski dimension. Packing dimension of a set A is the infimum of all numbers s for which P(A,ε)εs converges to zero where P(A,ε) is the...

Click to read more »
Talk:Lattice (order)
Sabtu, 2024-03-09 08:55:31

divisibility. The supremum is given by the least common multiple and the infimum by the greatest common divisor. What is the least common multiple of an...

Click to read more »
Talk:Completeness (order theory)
Rabu, 2026-06-10 19:19:32

is if it has one. The empty set doesn't necessarily have a supremum or infimum. I added it. 173.25.54.191 (talk) 04:44, 26 January 2014 (UTC) Domain theory...

Click to read more »
Talk:Complete lattice
Kamis, 2025-01-02 05:45:17

partially ordered set in which all subsets have both a supremum (join) and an infimum (meet). A lattice which satisfies at least one of these properties is known...

Click to read more »
Talk:Pseudometric space
Kamis, 2026-03-12 10:21:10

on the equivalence classes to be well defined, doesn't it need to be an infimum over the metric distances between all elements of each equivalence class...

Click to read more »
Talk:Axiom schema of replacement
Sabtu, 2024-03-09 06:36:49

come to the definition of the infimum. I thought that the infimum of the class of ordinals was undefined, since an infimum must be a member of the set (or...

Click to read more »
Talk:Chernoff bound
Selasa, 2024-02-13 01:50:19

limit of s to zero cannot be lower, i.e. why it isn't the case that the infimum is not in the set. I've looked at a few proofs, but I've been unable to...

Click to read more »
Talk:Nested intervals
Sabtu, 2025-04-26 01:52:41

was surprised when I clicked on the article, and saw that "Existence of infimum and supremum in bounded sets" was listed under "Direct consequences of...

Click to read more »
Talk:Infinity symbol
Kamis, 2026-01-29 15:25:44

Lebesgue measure is defined as an infimum and saying that it is +∞ can be thought of as meaning that this infimum has no finite bound (potential infinity)...

Click to read more »
Talk:Cumulant
Kamis, 2025-10-16 22:45:33

cumulant-generating function will have vertical asymptote(s) at the infimum of such c, if such an infimum exists etc". Note that x is a negative number here. Something...

Click to read more »
Talk:Uniform norm
Sabtu, 2024-02-10 21:27:34

}} norm is the essential supremum, see Essential supremum and essential infimum. To see the difference, consider the Kronecker delta function, and see...

Click to read more »
Talk:Projection (linear algebra)
Jumat, 2026-06-05 06:52:57

{\displaystyle \{\|\mathbf {x} -\mathbf {u} \|\mid \mathbf {u} \in U\}} has an infimum, and due to the completeness of U {\displaystyle U} it is a minimum." Which...

Click to read more »
Talk:Complete metric space
Sabtu, 2026-04-04 08:23:26

of different formulations? I ask this specifically as the Supremum (or Infimum) formulation is often easier for the non-mathematician to understand. In...

Click to read more »
Talk:Logistic function
Sabtu, 2024-08-31 04:38:22

INCORRECT LINK I believe the "Supremum" link is misassociated. It goes to "Infimum" instead of "Supremum". — Preceding unsigned comment added by 67.42.51...

Click to read more »
Talk:Wasserstein metric
Jumat, 2026-07-17 01:44:40

removed, this is only the p=1 case and even then is misleading as the infimum might not be achieved. It should be replaced by a brief explanation of...

Click to read more »
Talk:Non-measurable set
Sabtu, 2024-03-09 10:00:06

\left\{\sum _{i=1}^{\infty }\operatorname {length} (I_{i})\right\}} where the infimum above is taken over all countable covers of A by intervals {Ii}i. Non-measurable...

Click to read more »
Talk:Riemann integral
Rabu, 2026-06-10 23:30:32

keep, which won't necessarily be close to their interval's supremum and infimum and so we would need to enclose them in within a sufficiently small interval...

Click to read more »
Talk:Power (statistics)
Kamis, 2026-01-22 10:36:27

error, one might then try to take a supremum, which would then provide an infimum for the power. But to my knowledge, there is no general accepted convention...

Click to read more »
Talk:Distance
Jumat, 2025-11-14 00:05:45

distance between two sets A and B in a metric space as being the minimum (or infimum) of distances between any two points P in A and Q in B. Alternatively,...

Click to read more »
Talk:Hausdorff dimension
Senin, 2025-10-13 01:31:42

number, then the d-dimensional Hausdorff measure Hd(M) is defined to be the infimum of all m > 0 such that for all r > 0, M can be covered by countably many...

Click to read more »
Talk:Lowest common denominator
Selasa, 2025-01-14 02:38:16

(namely 2) is so low as the level achieved by them all (technically their infimum in the poset (Z, |)). So, where's the just patent *wrongness*? And please...

Click to read more »
Talk:Maximum and minimum
Kamis, 2025-07-24 05:10:36

Max (doesn't even link to this article) - Min (links to this article) - Infimum and supremum (no mention of a two argument function) - Greatest element...

Click to read more »
Talk:Real analysis
Rabu, 2026-06-10 11:56:16

definition relies on the completeness axiom and concept of supremum and infimum. If there is another approach to defining a Cauchy sequence I appologize...

Click to read more »
Talk:Metric (mathematics)
Senin, 2025-11-17 03:58:46

{\displaystyle n} floors). Let d ( x , y ) {\displaystyle d(x,y)} be the infimum energy needed to take the machine from state x {\displaystyle x} to state...

Click to read more »
Talk:Weierstrass function
Minggu, 2025-08-10 04:44:12

else? RMFan1 (talk) 15:36, 2 January 2008 (UTC) No. "inf" and "sup" mean "infimum" and "supremum", respectively. Ralphmerridew (talk) 02:46, 13 March 2008...

Click to read more »
Talk:Sigmoid function
Jumat, 2025-05-30 07:39:03

This function has none. The image of the function has supremum of 1 and infimum of 0, though (ie. the asymptotes of this function are y=0 and y=1). 82...

Click to read more »
Talk:Divisor/Archive 1
Selasa, 2023-08-01 07:18:59

greatest such n. However, according to the definition in this article (infimum of the lattice of integers ordered by divisibility), gcd(0,0) is defined...

Click to read more »
Talk:Dedekind cut
Senin, 2024-11-18 18:26:14

for comparison, arithmetic operations, and evaluations of supremum and infimum. These definitions are not all from the same source (though presumably...

Click to read more »
Talk:Discontinuities of monotone functions
Minggu, 2025-12-14 20:13:25

& Wallman, Munkres, etc. In this simple case, it's enough to take the infimum and supremum to identify the endpoints. For the LCT, there are coloured...

Click to read more »
Talk:0.999.../Archive 19
Rabu, 2025-10-01 09:32:52

supremum (smallest number no less than all elements of a set), not the infimum (largest number no greater than all elements of a set)? (Not very good...

Click to read more »
Talk:Interval (mathematics)
Jumat, 2026-06-19 11:33:53

of all, the convexity definition requires the knowledge of supremum and infimum to find the endpoints, which is usually taught only in (advanced) calculus...

Click to read more »
Talk:Upper and lower sets
Minggu, 2026-05-17 15:25:51

elements, Upper and lower bounds, Greatest element and least element, Infimum and supremum, Initial and terminal objects. Elestrophe (talk) 19:50, 14...

Click to read more »
Talk:Euclidean distance
Rabu, 2025-07-16 01:03:23

into a metric space by defining the distance between two points as the infimum of the lengths of the paths (continuously differentially curves) connecting...

Click to read more »
Talk:0.999.../Archive 18
Jumat, 2017-09-08 08:51:55

high school - perhaps before then informally - but I didn't know what "infimum" meant until grad school. That's likely because limits are necessary to...

Click to read more »
Talk:Banach space
Senin, 2025-11-17 03:04:47

monotonically increasing (decreasing), and this subsequence has a supremum (infimum) in the interval since the interval is closed and bounded. 208.107.152...

Click to read more »
Talk:Zeno's paradoxes/Archive 1
Rabu, 2025-11-19 07:25:15

express this precisely by saying that the infimum of the distances between points in A and B is a, but the infimum of the distances between points in A and...

Click to read more »
Talk:Boolean algebra (structure)/Archive 2
Minggu, 2011-02-13 11:06:23

same symbol as logical OR, p∨q; and the greatest lower bound (or meet or infimum) is denoted by same symbol as logical AND, p∧q. The lattice interpretation...

Click to read more »
Talk:Derivative/Archive 1
Selasa, 2018-02-13 12:22:36

on an open and bounded domain will also be one of the local maxima; the infimum will be one of the local minima--this gives one an easy way to find the...

Click to read more »
Talk:Integral/Archive 5
Rabu, 2026-07-29 19:38:43

r − 1 μ ( E k ) {\displaystyle \sum _{k\geq r-1}\mu (E_{k})} , and the infimum is at least ∑ k ≥ r μ ( E k ) {\displaystyle \sum _{k\geq r}\mu (E_{k})}...

Click to read more »
Talk:Fuzzy logic/Archive 1
Rabu, 2021-04-21 07:24:19

entitled Predicate fuzzy logics, where the following is written: ...the infimum (resp. supremum) of the truth degrees... ...what is intended by resp. (an...

Click to read more »
Talk:Interesting number paradox/Archive 1
Jumat, 2025-07-18 13:09:42

is, however, resolvable. It may be noted that in this example 38 is the infimum for the set of dull numbers: while not dull itself, there are no dull numbers...

Click to read more »
Talk:Metric tensor/Archive 1
Minggu, 2023-05-21 07:21:57

underlying manifold. First define length of path between points. Then take infimum over all paths connecting points. That gives a distance. Metric tensor...

Click to read more »
Talk:Area of a circle/Archive 1
Selasa, 2023-03-21 17:25:38

proof relies on the notion of the limit, or at the least, the supremum and infimum, of areas of polygons. A similar argument also justifies the "triangle...

Click to read more »
Talk:L'Hôpital's rule/Archive 1
Minggu, 2021-12-26 21:17:37

\liminf _{y\in S_{x}}{\frac {f(y)}{g(y)}}} cannot be a limit inferior but an infimum, inf y ∈ S x f ( y ) g ( y ) {\displaystyle \inf _{y\in S_{x}}{\frac {f(y)}{g(y)}}}...

Click to read more »
Talk:Cantor's first set theory article/Archive 2
Kamis, 2026-08-13 04:08:06

above exists (and the similar claim about sets bounded from below and infimum). --TedPavlic 15:32, 7 March 2007 (UTC) Additionally, the partition definition...

Click to read more »
Talk:Operator norm
Selasa, 2024-01-30 23:38:39

I wonder if this article needs some rewriting. First, the article starts with a very technical "all operator norm definitions money can buy", which is...

Click to read more »
Talk:Viam agnoscere veritatis (1248)/Archive 1
Minggu, 2022-05-01 10:01:43

suum unigenitum, consubstantialem sibi, de celi excelso solio misit ad infimum mundi solum, qui preelecte virginis utero sancti Spiritus operatione conceptus...

Click to read more »