Propriedade associativa
Na matemática, a propriedade associativa é uma propriedade de algumas operações binárias, o que significa que reorganizar os parênteses em uma expressão não alterará o resultado. Na lógica proposicional, associatividade é uma regra válida de substituição de expressões em provas lógicas.
Dentro de uma expressão contendo duas ou mais ocorrências seguidas do mesmo operador associativo, a ordem em que as operações são executadas não importa desde que a sequência dos operandos não seja alterada. Ou seja (após reescrever a expressão com parênteses e em notação infixa, se necessário), reorganizar os parênteses em tal expressão não alterará seu valor. Considere as seguintes equações:
Embora os parênteses tenham sido reorganizados em cada linha, os valores das expressões não foram alterados. Como isso é válido ao realizar adição e multiplicação em quaisquer números reais, pode-se dizer que "adição e multiplicação de números reais são operações associativas".
Associatividade não é o mesmo que comutatividade, que aborda se a ordem de dois operandos afeta o resultado. Por exemplo, a ordem não importa na multiplicação de números reais, ou seja, a × b = b × a, então dizemos que a multiplicação de números reais é uma operação comutativa. No entanto, operações como composição de funções e multiplicação de matrizes são associativas, mas (geralmente) não comutativas.
As operações associativas são abundantes em matemática; de fato, muitas estruturas algébricas (como semigrupos e categorias) exigem explicitamente que suas operações binárias sejam associativas.
No entanto, muitas operações importantes e interessantes são não associativas; alguns exemplos incluem subtração, exponenciação e o produto vetorial vetorial. Em contraste com as propriedades teóricas dos números reais, a adição de números de ponto flutuante na ciência da computação não é associativa, e a escolha de como associar uma expressão pode ter um efeito significativo no erro de arredondamento.
Definição
Formalmente, uma operação binária ∗ em um conjunto S é chamada associativo se satisfizer a lei associativa:
Aqui, ∗ é usado para substituir o símbolo da operação, que pode ser qualquer símbolo, e até mesmo a ausência de símbolo (justaposição) como na multiplicação.
A lei associativa também pode ser expressa em notação funcional assim: f(f(x, y), z) = f(x, f(y, z)).
Lei associativa generalizada
Se uma operação binária for associativa, a aplicação repetida da operação produzirá o mesmo resultado, independentemente de como os pares de parênteses válidos são inseridos na expressão. Isso é chamado de lei associativa generalizada. Por exemplo, um produto de quatro elementos pode ser escrito, sem alterar a ordem dos fatores, de cinco maneiras possíveis:
- (umb))c)D
- (umb))cD)
- (um(b)c)D
- um(b)c)D)
- um(b)(cD)
Se a operação do produto for associativa, a lei associativa generalizada diz que todas essas expressões produzirão o mesmo resultado. Portanto, a menos que a expressão com parênteses omitidos já tenha um significado diferente (veja abaixo), os parênteses podem ser considerados desnecessários e "o" produto pode ser escrito de forma inequívoca como
À medida que o número de elementos aumenta, o número de maneiras possíveis de inserir parênteses cresce rapidamente, mas eles permanecem desnecessários para a desambiguação.
Um exemplo em que isso não funciona é o bicondicional lógico ↔. É associativo; assim, A ↔ (B ↔ C) é equivalente a (A ↔ B) ↔ C, mas A ↔ B ↔ C mais comumente significa (A ↔ B) e (B ↔ C ), que não é equivalente.
Exemplos
Alguns exemplos de operações associativas incluem o seguinte.
- The concatenation of the three strings
"hello"
," "
,"world"
can be computed by concatenating the first two strings (giving"hello "
) and appending the third string ("world"
), or by joining the second and third string (giving" world"
) and concatenating the first string ("hello"
) with the result. The two methods produce the same result; string concatenation is associative (but not commutative). - In arithmetic, addition and multiplication of real numbers are associative; i.e.,
Because of associativity, the grouping parentheses can be omitted without ambiguity.( x + y ) + z = x + ( y + z ) = x + y + z ( x y ) z = x ( y z ) = x y z } for all x , y , z ∈ R . {displaystyle left.{begin{matrix}(x+y)+z=x+(y+z)=x+y+zquad \(x,y)z=x(y,z)=x,y,zqquad qquad qquad quad ,end{matrix}}right}{mbox{for all }}x,y,zin mathbb {R}.}
- The trivial operation x ∗ y = x (that is, the result is the first argument, no matter what the second argument is) is associative but not commutative. Likewise, the trivial operation x ∘ y = y (that is, the result is the second argument, no matter what the first argument is) is associative but not commutative.
- Addition and multiplication of complex numbers and quaternions are associative. Addition of octonions is also associative, but multiplication of octonions is non-associative.
- The greatest common divisor and least common multiple functions act associatively.
gcd ( gcd ( x , y ) , z ) = gcd ( x , gcd ( y , z ) ) = gcd ( x , y , z ) lcm ( lcm ( x , y ) , z ) = lcm ( x , lcm ( y , z ) ) = lcm ( x , y , z ) } for all x , y , z ∈ Z . {displaystyle left.{begin{matrix}operatorname {gcd} (operatorname {gcd} (x,y),z)=operatorname {gcd} (x,operatorname {gcd} (y,z))=operatorname {gcd} (x,y,z) quad \operatorname {lcm} (operatorname {lcm} (x,y),z)=operatorname {lcm} (x,operatorname {lcm} (y,z))=operatorname {lcm} (x,y,z)quad end{matrix}}right}{mbox{ for all }}x,y,zin mathbb {Z}.}
- Taking the intersection or the union of sets:
( A ∩ B ) ∩ C = A ∩ ( B ∩ C ) = A ∩ B ∩ C ( A ∪ B ) ∪ C = A ∪ ( B ∪ C ) = A ∪ B ∪ C } for all sets A , B , C . {displaystyle left.{begin{matrix}(Acap B)cap C=Acap (Bcap C)=Acap Bcap Cquad \(Acup B)cup C=Acup (Bcup C)=Acup Bcup Cquad end{matrix}}right}{mbox{for all sets }}A,B,C.}
- If M is some set and S denotes the set of all functions from M to M, then the operation of function composition on S is associative:( f ∘ g ) ∘ h = f ∘ ( g ∘ h ) = f ∘ g ∘ h for all f , g , h ∈ S . {displaystyle (fcirc g)circ h=fcirc (gcirc h)=fcirc gcirc hqquad {mbox{for all }}f,g,hin S.}
- Slightly more generally, given four sets M, N, P and Q, with h: M → N, g: N → P, and f: P → Q, then
as before. In short, composition of maps is always associative.( f ∘ g ) ∘ h = f ∘ ( g ∘ h ) = f ∘ g ∘ h {displaystyle (fcirc g)circ h=fcirc (gcirc h)=fcirc gcirc h}
- In category theory, composition of morphisms is associative by definition. Associativity of functors and natural transformations follows from associativity of morphisms.
- Consider a set with three elements, A, B, and C. The following operation:
× A B C A A A A B A B C C A A A - Because matrices represent linear functions, and matrix multiplication represents function composition, one can immediately conclude that matrix multiplication is associative.
- For real numbers (and for any totally ordered set), the minimum and maximum operation is associative: max ( a , max ( b , c ) ) = max ( max ( a , b ) , c ) and min ( a , min ( b , c ) ) = min ( min ( a , b ) , c ) . {displaystyle max(a,max(b,c))=max(max(a,b),c)quad {text{ and }}quad min(a,min(b,c))=min(min(a,b),c).}
Lógica proposicional
Regra de substituição
Na lógica proposicional verofuncional padrão, associação ou associatividade são duas regras válidas de substituição. As regras permitem mover parênteses em expressões lógicas em provas lógicas. As regras (usando notação de conectivos lógicos) são:
e
Onde "⇔ ⇔ Não. "Leftrightarrow""é um símbolo metalógico que representa "pode ser substituído em uma prova com".
Conectivos funcionais verdadeiros
Associatividade é uma propriedade de alguns conectivos lógicos da lógica proposicional verofuncional. As equivalências lógicas a seguir demonstram que a associatividade é uma propriedade de conectivos particulares. O seguinte (e seus inversos, já que ↔ é comutativo) são tautologias verofuncionais.
- Associatividade da disjunção
- ((P∨ ∨ Q)∨ ∨ R)↔ ↔ (P∨ ∨ (Q∨ ∨ R))(Plor Q)lor R)leftarrow (Plor (Qlor R)}
- Associatividade da conjunção
- ((P∧ ∧ Q)∧ ∧ R)↔ ↔ (P∧ ∧ (Q∧ ∧ R))(Pland Q)land R)leftrightarrow (Pland (Qland R)}
- Associatividade da equivalência
- ((P↔ ↔ Q)↔ ↔ R)↔ ↔ (P↔ ↔ (Q↔ ↔ R))(Pleftrightarrow Q)leftrightarrow R)leftarrow (Prightarrow (Qleftrightarrow R)}
A negação conjunta é um exemplo de um conectivo funcional de verdade que não é associativo.
Operação não associativa
Uma operação binária ∗ ∗ Não. em um conjunto S que não satisfaz a lei associativa é chamada não associado. Simbolicamente,
Para tal operação, a ordem de avaliação não importa. Por exemplo:
- Substância
- (5- Sim. - Sim. 3)- Sim. - Sim. 2≠ ≠ 5- Sim. - Sim. (3- Sim. - Sim. 2){displaystyle (5-3)-2,neq ,5-(3-2)}
- Divisão
- (4/2)/2≠ ≠ 4/(2/2)(4/2)/2,neq ,4/(2/2)}
- Exponenciação
- 2(12)≠ ≠ (21)2{displaystyle 2^{(1^{2})},neq ,(2^{1})^{2}}
- Produto cruzado do vetor
- Eu...× × (Eu...× × JJ)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =Eu...× × k= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =- Sim. - Sim. JJ(Eu...× × Eu...)× × JJ= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =0× × JJ= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =0{displaystyle {begin{aligned}mathbf {i} times (mathbf {i} times mathbf {j})&=mathbf {i} times mathbf {k} =-mathbf {j} \(mathbf {i})times mathbf {i}times mathbf {j} =mathbf {0} end{aligned}}}
Além disso, embora a adição seja associativa para somas finitas, ela não é associativa dentro de somas infinitas (séries). Por exemplo,
Algumas operações não associativas são fundamentais em matemática. Eles aparecem frequentemente como a multiplicação em estruturas chamadas álgebras não associativas, que também possuem uma adição e uma multiplicação escalar. Exemplos são os octônios e as álgebras de Lie. Nas álgebras de Lie, a multiplicação satisfaz a identidade de Jacobi em vez da lei associativa; isso permite abstrair a natureza algébrica das transformações infinitesimais.
Outros exemplos são magmas quasigrupo, quasicampo, anel não associativo e magmas não associativos comutativos.
Não associatividade do cálculo de ponto flutuante
Na matemática, a adição e a multiplicação de números reais são associativas. Por outro lado, na ciência da computação, a adição e a multiplicação de números de ponto flutuante não são associativas, pois erros de arredondamento são introduzidos quando valores de tamanhos diferentes são unidos.
Para ilustrar isso, considere uma representação de ponto flutuante com uma mantissa de 4 bits:
Embora a maioria dos computadores compute com 24 ou 53 bits de mantissa, essa é uma fonte importante de erro de arredondamento, e abordagens como o algoritmo de soma de Kahan são maneiras de minimizar os erros. Pode ser especialmente problemático na computação paralela.
Notação para operações não associativas
Em geral, os parênteses devem ser usados para indicar a ordem de avaliação se uma operação não-associativa aparecer mais de uma vez em uma expressão (a menos que a notação especifique a ordem de outra forma, como 23/4Não. Não.). No entanto, os matemáticos concordam em uma determinada ordem de avaliação para várias operações não-associativas comuns. Esta é simplesmente uma convenção nominal para evitar parênteses.
Uma operação associativa à esquerda é uma operação não associativa que é avaliada convencionalmente da esquerda para a direita, ou seja,
enquanto uma operação associativa à direita é avaliada convencionalmente da direita para a esquerda:
Ocorrem operações associativas à esquerda e à direita. As operações associativas à esquerda incluem o seguinte:
- Subtração e divisão de números reais
- x- Sim. - Sim. Sim.- Sim. - Sim. zangão.= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =(x- Sim. - Sim. Sim.)- Sim. - Sim. zangão.(x-y)-z}
- x/Sim./zangão.= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =(x/Sim.)/zangão.{displaystyle x/y/z=(x/y)/z}
- Aplicação de função
- (fxSim.)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =((fx)Sim.)(f,x,y)=(f,x,y)}
Esta notação pode ser motivada pelo isomorfismo currying, que permite a aplicação parcial.
As operações associativas à direita incluem o seguinte:
- Exponenciação de números reais na notação de superscrições
- xSim.zangão.= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =x(Sim.zangão.){displaystyle x^{y^{z}}=x^{(y^{z})}}
A exponenciação é comumente usada com suportes ou de associação direita porque uma repetida operação de exponenciação de esquerda-associativa é de pouca utilidade. Poder repetido seria principalmente reescrito com multiplicação:
- (xSim.)zangão.= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =x(Sim.zangão.)(x^{y})^{z}=x^{(yz)}}
Formatado corretamente, o superscript comporta-se inerentemente como um conjunto de parênteses; por exemplo, na expressão 2x+3{displaystyle 2^{x+3}} a adição é realizada antes da exponencialização, apesar de não haver parênteses explícitos 2(x+3){displaystyle 2^{(x+3)}} enrolado à volta. Assim, dada uma expressão como xSim.zangão.{displaystyle x^{y^{z}}}, o expoente completo Sim.zangão.{displaystyle y^{z}} da base xNão. é avaliado primeiro. No entanto, em alguns contextos, especialmente na caligrafia, a diferença entre xSim.zangão.= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =(xSim.)zangão.(x^{y}}^{z}=(x^{y})^{z}}, xSim.zangão.= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =x(Sim.zangão.){displaystyle x^{yz}=x^{(yz)}} e xSim.zangão.= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =x(Sim.zangão.){displaystyle x^{y^{z}}=x^{(y^{z})}} pode ser difícil de ver. Nesse caso, a associação direita é geralmente implícita.
- Definição da função
- Z.→ → Z.→ → Z.= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =Z.→ → (Z.→ → Z.){displaystyle mathbb {Z} rightarrow mathbb {Z} rightarrow mathbb {Z} =mathbb {Z} rightarrow (mathbb {Z} rightarrow mathbb {Z})}
- x↦ ↦ Sim.↦ ↦ x- Sim. - Sim. Sim.= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =x↦ ↦ (Sim.↦ ↦ x- Sim. - Sim. Sim.){displaystyle xmapsto ymapsto x-y=xmapsto (ymapsto x-y)}
O uso de notação associativa para essas operações pode ser motivado pela correspondência Curry-Howard e pelo isomorfismo de cura.
As operações não associativas para as quais nenhuma ordem de avaliação convencional é definida incluem o seguinte.
- Exponenciação de números reais em notação infixa
- (x∧ ∧ Sim.)∧ ∧ zangão.≠ ≠ x∧ ∧ (Sim.∧ ∧ zangão.)(x^{wedge }y)^{wedge }zneq x^{wedge }(y^{wedge }z)}
- Operadores de alto nível da Knuth
- um↑ ↑ ↑ ↑ (b)↑ ↑ ↑ ↑ c)≠ ≠ (um↑ ↑ ↑ ↑ b))↑ ↑ ↑ ↑ c{displaystyle uparrow uparrow (buparrow uparrow c)neq (auparrow uparrow b)uparrow uparrow c}
- um↑ ↑ ↑ ↑ ↑ ↑ (b)↑ ↑ ↑ ↑ ↑ ↑ c)≠ ≠ (um↑ ↑ ↑ ↑ ↑ ↑ b))↑ ↑ ↑ ↑ ↑ ↑ c{displaystyle uparrow uparrow uparrow (buparrow uparrow uparrow c)neq (auparrow uparrow uparrow b)uparrow uparrow c}
- Tomando o produto cruzado de três vetores
- um→ → × × (b)→ → × × c→ → )≠ ≠ (um→ → × × b)→ → )× × c→ → para algunsum→ → ,b)→ → ,c→ → ∈ ∈ R3{displaystyle {vec {a}}times ({vec {b}}times {vec {c}})neq ({vec {a}}times {vec {b}})times {vec {c}}qquad {mbox{ for some }}{vec {a}},{vec {b}}in mathbb {R} ^{3
- Tomando a média pares de números reais
- (x+Sim.)/2+zangão.2≠ ≠ x+(Sim.+zangão.)/22para todosx,Sim.,zangão.∈ ∈ Rcomx≠ ≠ zangão..{displaystyle {(x+y)/2+z over 2}neq {x+(y+z)/2 over 2}qquad {mbox{para todos }}x,y,zin mathbb {R} {mbox{ com }}xneq z}
- Tomando o complemento relativo de conjuntos
- (A∖ ∖ B)∖ ∖ C≠ ≠ A∖ ∖ (B∖ ∖ C)(Abackslash B)backslash Cneq Abackslash (Bbackslash C)}.
(Compare a nonimplicação material na lógica.)
História
William Rowan Hamilton parece ter cunhado o termo "propriedade associativa" por volta de 1844, uma época em que ele estava contemplando a álgebra não associativa dos octônios que havia aprendido com John T. Graves.
Contenido relacionado
Teste de Kolmogorov-Smirnov
Probabilidade frequentista
Número algébrico