Résidu (analyse complexe)En analyse complexe, le résidu est un nombre complexe qui décrit le comportement de l'intégrale curviligne d'une fonction holomorphe aux alentours d'une singularité. Les résidus se calculent assez facilement et, une fois connus, permettent de calculer des intégrales curvilignes plus compliquées grâce au théorème des résidus. Le terme résidu vient de Cauchy dans ses Exercices de mathématiques publié en 1826. Soit un ouvert de , un ensemble dans D de points isolés et une fonction holomorphe.
Essential singularityIn complex analysis, an essential singularity of a function is a "severe" singularity near which the function exhibits odd behavior. The category essential singularity is a "left-over" or default group of isolated singularities that are especially unmanageable: by definition they fit into neither of the other two categories of singularity that may be dealt with in some manner – removable singularities and poles. In practice some include non-isolated singularities too; those do not have a residue.
Fonction holomorphevignette|Une grille et son image par f d'une fonction holomorphe. En analyse complexe, une fonction holomorphe est une fonction à valeurs complexes, définie et dérivable en tout point d'un sous-ensemble ouvert du plan complexe C. Cette condition est beaucoup plus forte que la dérivabilité réelle. Elle entraîne (via la théorie de Cauchy) que la fonction est analytique : elle est infiniment dérivable et est égale, au voisinage de tout point de l'ouvert, à la somme de sa série de Taylor.
Série de Taylorthumb|Brook Taylor, dont la série porte le nom. En mathématiques, et plus précisément en analyse, la série de Taylor au point d'une fonction (réelle ou complexe) indéfiniment dérivable en ce point, appelée aussi le développement en série de Taylor de en , est une série entière approchant la fonction autour de , construite à partir de et de ses dérivées successives en . Elles portent le nom de Brook Taylor, qui les a introduites en 1715.
Série de LaurentCet article traite du développement en série de Laurent en analyse complexe. Pour la définition et les propriétés des séries de Laurent formelles en algèbre, veuillez consulter l'article Série formelle. En analyse complexe, la série de Laurent (aussi appelée développement de Laurent) d'une fonction holomorphe f est une manière de représenter f au voisinage d'une singularité, ou plus généralement, autour d'un « trou » de son domaine de définition. On représente f comme somme d'une série de puissances (d'exposants positifs ou négatifs) de la variable complexe.
Singularité (mathématiques)En mathématiques, une singularité est en général un point, une valeur ou un cas dans lequel un certain objet mathématique n'est pas bien défini ou bien subit une transition. Ce terme peut donc avoir des significations très différentes en fonction du contexte. Par exemple, dans l'analyse élémentaire, on dit que . En théorie des singularités, le terme prend un sens différent. On dit, par exemple, En algèbre linéaire, une matrice carrée est dite singulière si elle n'est pas inversible.
Removable singularityIn complex analysis, a removable singularity of a holomorphic function is a point at which the function is undefined, but it is possible to redefine the function at that point in such a way that the resulting function is regular in a neighbourhood of that point. For instance, the (unnormalized) sinc function, as defined by has a singularity at z = 0. This singularity can be removed by defining which is the limit of sinc as z tends to 0. The resulting function is holomorphic.
Théorème des résidusEn analyse complexe, le théorème des résidus est un outil puissant pour évaluer des intégrales curvilignes de fonctions holomorphes sur des courbes fermées qui repose sur les résidus de la fonction à intégrer. Il est utilisé pour calculer des intégrales de fonctions réelles ainsi que la somme de certaines séries. Il généralise le théorème intégral de Cauchy et la formule intégrale de Cauchy. Soient U un sous-ensemble ouvert et simplement connexe du plan complexe C, {z, ...
Théorie des singularitésvignette|droite|Visualisation de la fonction (x, y) → x2 + y2 Dans l'acception que lui a donnée René Thom, la théorie des singularités consiste à étudier des objets et des familles d'objets suivant leur degré de généricité. Dans une famille, l'objet peut subir des changements d'états ce que l'on appelle une bifurcation. Un exemple simple est donné par les courbes de niveau de la fonction : La courbe de niveau pour une valeur positive est un cercle. La valeur 0 est singulière et pour les valeurs négatives, la courbe est vide.
Méthodes de calcul d'intégrales de contourEn analyse complexe, lintégration de contour est une technique de calcul d'intégrale le long de chemins sur le plan complexe L'intégration de contour est fortement liée au calculs de résidus, une méthode de calcul utilisée pour évaluer des intégrales curvilignes sur l'axe des réelles, que les outils de la théorie de l'intégration ne permettent pas de calculer par une simple analyse réelle Les méthodes d'intégration de contour incluent : l'intégration directe d'une fonction à valeurs complexes le long d'une c
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
RaisonLa raison est généralement considérée comme une faculté propre de l'esprit humain dont la mise en œuvre lui permet de créer des critères de vérité et d'erreur et d'atteindre ses objectifs. Elle repose sur la capacité qu'aurait l'être humain de faire des choix en se basant sur son intelligence, ses perceptions et sa mémoire tout en faisant abstraction de ses préjugés, ses émotions ou ses pulsions. Cette faculté a donc plusieurs emplois : connaissance, éthique et technique.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Induction (logique)L'induction est historiquement le nom utilisé pour signifier un genre de raisonnement qui se propose de chercher des lois générales à partir de l'observation de faits particuliers, sur une base probabiliste. Remarque : Bien qu'associée dans le titre de cet article à la logique, la présentation qui suit correspond surtout à la notion bayésienne, utilisée consciemment ou non, de l'induction.
Élément entierEn mathématiques, et plus particulièrement en algèbre commutative, les éléments entiers sur un anneau commutatif sont à la fois une généralisation des entiers algébriques (les éléments entiers sur l'anneau des entiers relatifs) et des éléments algébriques dans une extension de corps. C'est une notion très utile en théorie algébrique des nombres et en géométrie algébrique. Son émergence a commencé par l'étude des entiers quadratiques, en particulier les entiers de Gauss. On fixe un anneau commutatif A.
Liste de concepts logiquesCet article liste les principaux concepts logiques, au sens philosophique du terme, c'est-à-dire en logique générale (issue de la dialectique). Nota : La logique comporte aussi des branches en mathématiques et en informatique. Ces branches de la logique utilisent des concepts souvent différents comme les prédicats : axiome, théorème hypothèse, conjonction, disjonction, Déduction naturelle... Pour plus d'informations sur ces concepts consulter les articles : Logique mathématique, logique classique.
Raisonnement déductifEn logique, la déduction est une inférence menant d'une affirmation générale à une conclusion particulière. La déduction est une opération par laquelle on établit au moyen de prémisses une conclusion qui en est la conséquence nécessaire, en vertu de règles d'inférence logiques. Ces règles sont notamment l'objet des Premiers Analytiques d'Aristote. On l'oppose généralement à l'induction, qui consiste au contraire à extraire d'un nombre fini de propositions données par l'observation, une conclusion ou un petit nombre de conclusions plus générales.
Intégrale non élémentaireEn mathématiques, une intégrale non élémentaire est une intégrale qui n'a aucune formule en termes de fonctions élémentaires. L'existence de telles fonctions a été démontrée par Joseph Liouville en 1835. Parmi les intégrales non élémentaires, on peut citer où R est une fonction rationnelle à deux variables, P est une fonction polynomiale de degré 3 ou 4 avec des racines simples, qui donnent les intégrales elliptiques ; qui donne le logarithme intégral ; à l'origine de la loi normale. Théorème de Liouvill
Abduction (logique)L'abduction (du latin « abductio » : emmener) est un type de raisonnement consistant à inférer des causes probables à un fait observé. Autrement dit, il s'agit d'établir une cause la plus vraisemblable à un fait constaté et d'affirmer, à titre d'hypothèse de travail, que le fait en question résulte probablement de cette cause. Par exemple, en médecine, l’abduction est utilisée pour faire des diagnostics.
