Intersection (mathématiques)Dans la théorie des ensembles, l'intersection est une opération ensembliste qui porte le même nom que son résultat, à savoir l'ensemble des éléments appartenant à la fois aux deux opérandes : l'intersection de deux ensembles A et B est l'ensemble, noté , dit « A inter B », qui contient tous les éléments appartenant à la fois à A et à B, et seulement ceux-là. A et B sont disjoints si et seulement si est l'ensemble vide ∅. A est inclus dans B si et seulement si .
Groupe résolubleEn mathématiques, un groupe résoluble est un groupe qui peut être construit à partir de groupes abéliens par une suite finie d'extensions. Théorème d'Abel (algèbre) La théorie des groupes tire son origine de la recherche de solutions générales (ou de leur absence) pour les racines des polynômes de degré 5 ou plus. Le concept de groupe résoluble provient d'une propriété partagée par les groupes d'automorphismes des polynômes dont les racines peuvent être exprimées en utilisant seulement un nombre fini d'opérations élémentaires (racine n-ième, addition, multiplication, ).
Inquiry-based learningInquiry-based learning (also spelled as enquiry-based learning in British English) is a form of active learning that starts by posing questions, problems or scenarios. It contrasts with traditional education, which generally relies on the teacher presenting facts and their knowledge about the subject. Inquiry-based learning is often assisted by a facilitator rather than a lecturer. Inquirers will identify and research issues and questions to develop knowledge or solutions.
P-groupeEn mathématiques, et plus précisément en algèbre, un p-groupe, pour un nombre premier p donné, est un groupe (fini ou infini) dont tout élément a pour ordre une puissance de p. Les p-sous-groupes de Sylow d'un groupe fini sont un exemple important de p-groupes. Tout sous-groupe et tout quotient d'un p-groupe est un p-groupe. Réciproquement, si H est un p-sous-groupe normal d'un groupe G et si le quotient G/H est un p-groupe, alors G est un p-groupe. On peut tirer du point précédent qu'un produit semi-direct de deux p-groupes est un p-groupe.
Hermitian symmetric spaceIn mathematics, a Hermitian symmetric space is a Hermitian manifold which at every point has an inversion symmetry preserving the Hermitian structure. First studied by Élie Cartan, they form a natural generalization of the notion of Riemannian symmetric space from real manifolds to complex manifolds. Every Hermitian symmetric space is a homogeneous space for its isometry group and has a unique decomposition as a product of irreducible spaces and a Euclidean space.
Fixed-point iterationIn numerical analysis, fixed-point iteration is a method of computing fixed points of a function. More specifically, given a function defined on the real numbers with real values and given a point in the domain of , the fixed-point iteration is which gives rise to the sequence of iterated function applications which is hoped to converge to a point . If is continuous, then one can prove that the obtained is a fixed point of , i.e., More generally, the function can be defined on any metric space with values in that same space.
Structure spinorielleEn géométrie différentielle, il est possible de définir sur certaines variétés riemanniennes la notion de structure spinorielle (qui se décline en structures Spin ou Spinc), étendant ainsi les considérations algébriques sur le groupe spinoriel et les spineurs. En termes imagés, il s'agit de trouver, dans le cadre des « espaces courbes », une géométrie « cachée » à l’œuvre derrière les concepts géométriques ordinaires. On peut aussi y voir une généralisation de la notion d'orientabilité et de changement d'orientation à une forme d'« orientabilité d'ordre supérieur ».
Structure (mathématiques)En mathématiques, une structure est une théorie plus forte que la théorie des ensembles, c'est-à-dire une théorie qui en contient tous les axiomes, signes et règles. C'est donc une théorie fondée sur la théorie des ensembles, mais contenant également des contraintes supplémentaires, qui lui sont propres, et qui permettent également de définir de nouvelles structures qu'elle inclut. Cette notion est ainsi une puissante contribution à l'hypothèse selon laquelle la théorie des ensembles fournit le fondement des mathématiques.
Groupe orthogonalEn mathématiques, le groupe orthogonal réel de degré n, noté O(n), est le groupe des transformations géométriques d'un espace Euclidien de dimension n qui préservent les distances (isométries) et le point origine de l'espace. Formellement, on introduit le groupe orthogonal d'une forme quadratique q sur E, espace vectoriel sur un corps commutatif K, comme le sous-groupe du groupe linéaire GL(E) constitué des automorphismes f de E qui laissent q invariante : pour tout vecteur x de E.
Groupe des quaternionsEn mathématiques et plus précisément en théorie des groupes, le groupe des quaternions est l'un des deux groupes non abéliens d'ordre 8. Il admet une représentation réelle irréductible de degré 4, et la sous-algèbre des matrices 4×4 engendrée par son image est un corps gauche qui s'identifie au corps des quaternions de Hamilton. Le groupe des quaternions est souvent désigné par le symbole Q ou Q8 et est écrit sous forme multiplicative, avec les 8 éléments suivants : Ici, 1 est l'élément neutre, et pour tout a dans Q.
Tri fusionEn informatique, le tri fusion, ou tri dichotomique, est un algorithme de tri par comparaison stable. Sa complexité temporelle pour une entrée de taille n est de l'ordre de n log n, ce qui est asymptotiquement optimal. Ce tri est basé sur la technique algorithmique diviser pour régner. L'opération principale de l'algorithme est la fusion, qui consiste à réunir deux listes triées en une seule. L'efficacité de l'algorithme vient du fait que deux listes triées peuvent être fusionnées en temps linéaire.
G-structure on a manifoldIn differential geometry, a G-structure on an n-manifold M, for a given structure group G, is a principal G-subbundle of the tangent frame bundle FM (or GL(M)) of M. The notion of G-structures includes various classical structures that can be defined on manifolds, which in some cases are tensor fields. For example, for the orthogonal group, an O(n)-structure defines a Riemannian metric, and for the special linear group an SL(n,R)-structure is the same as a volume form.
