bounded summand - definição. O que é bounded summand. Significado, conceito
Diclib.com
Dicionário ChatGPT
Digite uma palavra ou frase em qualquer idioma 👆
Idioma:

Tradução e análise de palavras por inteligência artificial ChatGPT

Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:

  • como a palavra é usada
  • frequência de uso
  • é usado com mais frequência na fala oral ou escrita
  • opções de tradução de palavras
  • exemplos de uso (várias frases com tradução)
  • etimologia

O que (quem) é bounded summand - definição

FUNCTION OR SEQUENCE WHOSE POSSIBLE VALUES FORM A BOUNDED SET
Bounded sequence; Bounded measure; Bounded sequences; Bounded map; Unbound function; Unbounded function; Bounded (function)

Bounded quantification         
Bounded polymorphism; Bounded genericity; Bounded generics; Bounded generic; F-bounded quantification; Recursively bounded quantification; Recursively bounded polymorphism; F-bounded polymorphism; F-bounded genericity; Recursively bounded genericity; F-bounded; F-bound; Constrained genericity; Constraint genericity; Constrained polymorphism; Constraint polymorphism; Constrained quantification; Constraint quantification
In type theory, bounded quantification (also bounded polymorphism or constrained genericity) refers to universal or existential quantifiers which are restricted ("bounded") to range only over the subtypes of a particular type. Bounded quantification is an interaction of parametric polymorphism with subtyping.
Bounded operator         
LINEAR TRANSFORMATION L BETWEEN NORMED VECTOR SPACES X AND Y FOR WHICH THE RATIO OF THE NORM OF L(V) TO THAT OF V IS BOUNDED BY THE SAME NUMBER, OVER ALL NON-ZERO VECTORS V IN X
Bounded linear map; Bounded linear operator; Continuous operator; Bounded linear function; Bounded operators; Bounded linear functional; Bounded linear transform; Bounded Linear Form; Bonded linear operator
In functional analysis and operator theory, a bounded linear operator is a linear transformation L : X \to Y between topological vector spaces (TVSs) X and Y that maps bounded subsets of X to bounded subsets of Y.
Bounded quantifier         
LOGICAL QUANTIFICATION THAT RANGES OVER A SUBSET OF THE UNIVERSE OF DISCOURSE
Bounded quantifiers
In the study of formal theories in mathematical logic, bounded quantifiers are often included in a formal language in addition to the standard quantifiers "∀" and "∃". Bounded quantifiers differ from "∀" and "∃" in that bounded quantifiers restrict the range of the quantified variable.

Wikipédia

Bounded function

In mathematics, a function f defined on some set X with real or complex values is called bounded if the set of its values is bounded. In other words, there exists a real number M such that

| f ( x ) | M {\displaystyle |f(x)|\leq M}

for all x in X. A function that is not bounded is said to be unbounded.

If f is real-valued and f(x) ≤ A for all x in X, then the function is said to be bounded (from) above by A. If f(x) ≥ B for all x in X, then the function is said to be bounded (from) below by B. A real-valued function is bounded if and only if it is bounded from above and below.

An important special case is a bounded sequence, where X is taken to be the set N of natural numbers. Thus a sequence f = (a0, a1, a2, ...) is bounded if there exists a real number M such that

| a n | M {\displaystyle |a_{n}|\leq M}

for every natural number n. The set of all bounded sequences forms the sequence space l {\displaystyle l^{\infty }} .

The definition of boundedness can be generalized to functions f : X → Y taking values in a more general space Y by requiring that the image f(X) is a bounded set in Y.