Homeomorfismo

As leis de De Morgan são um par de regras de transformação na álgebra booleana que são fundamentais para o projeto de circuitos digitais. A primeira lei afirma que a negação de uma conjunção é a disjunção das negações: [latex]neg(P land Q) iff (neg P) lor (neg Q)[/latex]. A segunda afirma que a negação de uma disjunção é a conjunção das negações: [latex]neg(P lor Q) iff (neg P) land (neg Q)[/latex].

Uma variedade diferenciável é um espaço topológico localmente semelhante ao espaço euclidiano, permitindo a aplicação do cálculo. Cada ponto possui uma vizinhança que é homeomorfa a um subconjunto aberto de [latex]mathbb{R}^n[/latex]. Esses sistemas de coordenadas locais, chamados cartas, estão relacionados por funções de transição suaves, formando um atlas que define a estrutura diferenciável da variedade.

A eletrônica digital é baseada na álgebra booleana, um sistema matemático de lógica introduzido por George Boole. Ela utiliza dois valores, tipicamente 0 e 1 (ou falso e verdadeiro), e três operações básicas: AND (conjunção), OR (disjunção) e NOT (negação). Essas operações correspondem diretamente às portas lógicas que formam os blocos de construção de todos os circuitos digitais.

O fenômeno de Gibbs descreve o comportamento de uma série de Fourier em uma descontinuidade abrupta. As somas parciais da série exibem um pico próximo ao salto, que não desaparece com a adição de mais termos. Esse pico converge para um valor constante de cerca de 9% da altura do salto, independentemente do número de termos na série.

Este teorema afirma que, em um modelo de regressão linear onde os erros têm média zero, são não correlacionados e possuem variância constante (homocedasticidade), o estimador de mínimos quadrados ordinários (MQO) é o Melhor Estimador Linear Não Viesado (BLUE). 'Melhor' significa que ele possui a menor variância entre todos os estimadores lineares não viesados ​​dos coeficientes de regressão, tornando-o o mais preciso.

Este teorema afirma que para qualquer função contínua [latex]f[/latex] que mapeia um conjunto convexo compacto em si mesmo, existe um ponto [latex]x_0[/latex] tal que [latex]f(x_0) = x_0[/latex]. Este ponto é chamado de ponto fixo. De forma simplificada, se você pegar um mapa de um país, amassá-lo e colocá-lo dentro das fronteiras do país, sempre haverá pelo menos um ponto no mapa diretamente acima de sua localização correspondente no mundo real.

O teorema de Gauss-Bonnet relaciona a geometria de uma superfície compacta bidimensional à sua topologia. Ele afirma que a integral da curvatura gaussiana [latex]K[/latex] sobre toda a superfície [latex]M[/latex] é igual a [latex]2pi[/latex] vezes a característica de Euler [latex]chi(M)[/latex] da superfície. A fórmula é [latex]int_M K , dA = 2pi chi(M)[/latex].

A exatidão refere-se à proximidade de um valor medido a um valor padrão ou a um valor verdadeiro conhecido. A precisão refere-se à proximidade entre duas ou mais medições. Um sistema de medição pode ser preciso, mas não exato; exato, mas não preciso; nenhum dos dois; ou ambos. Esses dois conceitos são independentes entre si na teoria da medição.

A geometria Riemanniana é o ramo da geometria diferencial que estuda variedades Riemannianas — variedades diferenciáveis ​​dotadas de uma métrica Riemanniana. Essa métrica é uma coleção de produtos internos nos espaços tangentes, variando suavemente de ponto a ponto. Ela permite a definição de noções geométricas locais como ângulo, comprimento de curvas, área de superfície e volume, levando a uma noção generalizada de curvatura.

Em álgebra linear, o teorema do posto-nulidade afirma que para qualquer aplicação linear [latex]T: V to W[/latex] entre espaços vetoriais de dimensão finita, a dimensão do seu domínio [latex]V[/latex] é a soma do seu posto (a dimensão da sua imagem) e da sua nulidade (a dimensão do seu núcleo). A fórmula é [latex]dim(V) = text{posto}(T) + text{nulidade}(T)[/latex].

O Teorema dos Números Primos descreve a distribuição assintótica dos números primos entre os inteiros. Ele afirma que a função de contagem de primos π(x), que fornece o número de primos menores ou iguais a x, é assintoticamente equivalente a x / ln(x). Formalmente, lim_{x to infty} π(x)/(x/ln(x)) = 1. Isso fornece uma ligação fundamental entre os números primos e o logaritmo natural.

Uma estatística que indica a qualidade do ajuste de um modelo, representando a proporção da variância na variável dependente que é previsível a partir da(s) variável(eis) independente(s). Um R² de 1 indica um ajuste perfeito, enquanto 0 indica nenhuma relação linear. É calculado como [latex]R^2 equiv 1 - frac{SS_{res}}{SS_{tot}}[/latex], onde [latex]SS_{res}[/latex] é a soma dos quadrados dos resíduos.

O índice de Fredholm generaliza o teorema do posto-nulidade para espaços de dimensão infinita, como os espaços de Banach. Para um operador de Fredholm [latex]T: X to Y[/latex], seu índice é definido como [latex]text{ind}(T) = dim(ker(T)) - dim(text{coker}(T))[/latex], onde a dimensão do cokernel mede o quão distante a imagem está de ser o espaço inteiro. Este índice é um valor inteiro estável sob pequenas perturbações do operador.

Um espaço topológico é um par ordenado [latex](X, tau)[/latex], onde [latex]X[/latex] é um conjunto e [latex]tau[/latex] é uma coleção de subconjuntos de [latex]X[/latex], chamados conjuntos abertos, que satisfazem três axiomas: 1) O conjunto vazio [latex]emptyset[/latex] e [latex]X[/latex] pertencem a [latex]tau[/latex]. 2) A união de qualquer número de conjuntos em [latex]tau[/latex] também pertence a [latex]tau[/latex]. 3) A interseção de qualquer número finito de conjuntos em [latex]tau[/latex] também pertence a [latex]tau[/latex].