Espace vectoriel quotientEn algèbre linéaire, l'espace vectoriel quotient E/F d'un espace vectoriel E par un sous-espace vectoriel F est la structure naturelle d'espace vectoriel sur l'ensemble quotient de E par la relation d'équivalence définie de la manière suivante : v est en relation avec w si et seulement si v – w appartient à F. C'est donc l'ensemble des classes [v] = v + F, où v parcourt E, muni des lois suivantes : somme vectorielle : [v] + [w] = [v + w] ; multiplication par un scalaire : λ [v] = [λ v].
Espace localement simplement connexeEn mathématiques, un espace localement simplement connexe est un espace topologique qui admet une base d'ouverts simplement connexes. Tout espace localement simplement connexe est donc localement connexe par arcs et a fortiori localement connexe. Le cercle est localement simplement connexe mais pas simplement connexe. La boucle d'oreille hawaïenne n'est pas localement simplement connexe ni simplement connexe, puisqu'elle n'est même pas . Le cône de la boucle d'oreille hawaïenne est contractile donc simplement connexe, mais n'est pas localement simplement connexe.
Définition d'opérateurLa définition d'opérateur est une fonctionnalité offerte par certains langages de programmation qui permet d'utiliser des opérateurs (comme +, = ou ==) comme des fonctions ou des méthodes en les définissant pour de nouveaux types de données. Les opérateurs ne sont pas nécessairement des symboles. Parfois, la définition de nouveaux opérateurs est autorisée. Il s'agit généralement de sucre syntaxique, et peut facilement être émulé par des appels de fonction ou de méthode : avec définition d'opérateurs : a + b * c ; sans définition d'opérateurs : somme (a, produit (b, c)).
Algebraic geometry and analytic geometryIn mathematics, algebraic geometry and analytic geometry are two closely related subjects. While algebraic geometry studies algebraic varieties, analytic geometry deals with complex manifolds and the more general analytic spaces defined locally by the vanishing of analytic functions of several complex variables. The deep relation between these subjects has numerous applications in which algebraic techniques are applied to analytic spaces and analytic techniques to algebraic varieties.
Raisonnement fallacieuxUn raisonnement fallacieux est un raisonnement incorrect qui a pourtant une apparence de validité logique. On distingue généralement deux types de raisonnements fallacieux : le sophisme, qui est une argumentation destinée à tromper autrui, et le paralogisme qui est une de raisonnement involontaire. Kant effectuait cette distinction dans son ouvrage Logique (1800) indiquant qu'un syllogisme erroné quant à sa forme est un paralogisme quand il trompe son auteur, et un sophisme quand il vise à tromper autrui.
Épouvantail (rhétorique)L’épouvantail (en straw man, littéralement « mannequin de paille ») est un sophisme ou un paralogisme qui consiste à présenter la position de son interlocuteur ou d'un adversaire en exagérant, en la déformant, en la simplifiant à l'excès afin de donner l'impression que cette position est indéfendable. Cette argumentation fallacieuse est , ou par le mannequin de paille utilisé dans le cadre des exécutions par effigie. La technique de l'épouvantail consiste à déformer la position de l'adversaire en lui attribuant un argument facilement réfutable.