Limite d'une suite | EPFL Graph Search

En mathématiques, de manière intuitive, la limite d'une suite est l'élément dont les termes de la suite se rapprochent quand les indices deviennent très grands. Cette définition intuitive n'est guère exploitable car il faudrait pouvoir définir le sens de « se rapprocher ». Cette notion sous-entend l'existence d'une distance (induite par la valeur absolue dans R, par le module dans C, par la norme dans un espace vectoriel normé) mais on verra que l'on peut même s'en passer pourvu qu'on ait une topologie. Dans cet article seront présentées d'abord la notion de limite de suite réelle, puis celle de suite complexe et seulement après, quitte à être redondant, celle de limite dans un espace topologique. Si la formalisation de la limite d'une suite vient assez tard, son utilisation intuitive date de plus de . Dans les Éléments d'Euclide (X.1), on peut lire : . En langage actuel, cela donnerait : soit (on notera simplement u) une suite de réels positifs telle que, pour tout n, u < u/2, alors, pour tout réel strictement positif e, il existe un indice n tel que u < e. Cette définition est proche de la définition moderne d'une suite ayant pour limite 0. Si on pourrait croire que cette interprétation du dixième élément d'Euclide est une modernisation fallacieuse, on peut s'assurer que cette affirmation est fausse en regardant l'utilisation qu'en fait Archimède dans ses méthodes de quadrature. Cherchant à calculer l'aire du disque ou l'aire sous une parabole, par exemple, il cherche à l'approcher par des aires de polygones et observe alors la différence entre l'aire cherchée et l'aire du polygone. Il démontre qu'à chaque étape, cette différence a été réduite de plus de la moitié et c'est ainsi qu'il conclut qu'en continuant indéfiniment le processus on sera aussi proche qu'on le souhaite de l'aire cherchée. C'est la « méthode d'exhaustion ». Cette intuition de la limite mal formalisée ne permettra cependant pas de lever les paradoxes de Zénon, comme celui d'Achille et de la tortue : Achille part avec un handicap A et court deux fois plus vite que la tortue.

Generative power of a protein language model trained on multiple sequence alignments

Anne-Florence Raphaëlle Bitbol, Damiano Sgarbossa, Umberto Lupo

Computational models starting from large ensembles of evolutionarily related protein sequences capture a representation of protein families and learn constraints associated to protein structure and function. They thus open the possibility for generating no ...

eLIFE SCIENCES PUBL LTD2023

A generic diffusion-based approach for 3D human pose prediction in the wild

Alexandre Massoud Alahi, Saeed Saadatnejad, Taylor Ferdinand Mordan, Mohammadreza Mofayezi

Predicting 3D human poses in real-world scenarios, also known as human pose forecasting, is inevitably subject to noisy inputs arising from inaccurate 3D pose estimations and occlusions. To address these challenges, we propose a diffusion-based approach th ...

IEEE2023

Automated planning for the construction of laterally resistant masonry walls using irregular stones

Katrin Beyer, Bryan German Pantoja Rosero, Qianqing Wang, Ketson Roberto Maximiano Dos Santos

The construction industry's carbon footprint may be reduced by switching to the usage of natural stones as building materials. Construction of dry-joint stone masonry structures is difficult because of the irregular shapes and the nonuniform sizes of the s ...

2023