Translation for 'compactness' from English to Slovak

compactness

pevnosť {f}

ucelenosť {f}

kompaktnosť {f}

• In a sequential (Hausdorff) space sequential compactness is equivalent to countable compactness.
• Compactness measures can be defined for three-dimensional shapes as well, typically as functions of volume and surface area.
• Compactness was formally introduced by Maurice Fréchet in 1906 to generalize the Bolzano–Weierstrass theorem from spaces of geometrical points to spaces of functions.
• The Reock degree of compactness, or Reock compactness score, is a ratio that quantifies the compactness of the geographic area of a voting district.
• This particular property is known as "subsequential compactness".

• ... its contrapositive), the compactness theorem says that every unsatisfiable first-order theory has a finite unsatisfiable subset.
• Mahler's compactness theorem was generalized to semisimple Lie groups by David Mumford; see Mumford's compactness theorem.
• The result also holds if one works with the ball measure of non-compactness or the separation measure of non-compactness, since these three measures of non-compactness are mutually Lipschitz equivalent; if any one of them tends to zero as "n" → ∞, then so must the other two.