Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Le rôle des Symmetries

Dans cours

PHYS-314: Quantum physics II

The aim of this course is to familiarize the student with the concepts, methods and consequences of quantum physics. ...

Description

Cette séance de cours explore le concept de symétries en physique, en mettant l'accent sur la théorie de groupe et les représentations. Il couvre la théorie des perturbations, le formalisme variationnel, la quantification et les systèmes actuels. L'instructeur discute de l'impact des symétries sur les propriétés des systèmes physiques.

Enseignant·e·s (3)

Florent Gérard Krzakala

Zoë Holmes

Vincenzo Savona

De nationalité italienne, Vincenzo Savona est né en 1969. Il effectue ses études de physique à lEcole normale supérieure de Pise et à lUniversité de Pise. Puis il entreprend une thèse de doctorat à lInstitut de physique théorique de lEPFL. Il effectue des recherches post-doctorales à lEPFL, puis à lInstitut de physique de lUniversité Humboldt de Berlin. En 2002, il revient à lEPFL pour y constituer son groupe de recherche, bénéficiant dun subside «professeur boursier» du Fonds national suisse de la recherche scientifique. En 2006, il est nommé professeur assistant tenure-track à lEPFL et intègre le NCCR de photonique quantique. En 2010 il est nommé professeur associé. Actuellement, il dirige le Laboratoire de physique théorique des nanosystèmes.

Source officielle

Proximité ontologique

Mathématiques

Algèbre: Théorie des représentations

Logique

Logique classique: Calcul des prédicats

Concepts associés (32)

Quantification (logique)

vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).

Universal quantification

In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.

Quantification existentielle

En mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.

Branching quantifier

In logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.

Unicité (mathématiques)

En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ».

Afficher plus

Séances de cours associées (38)

Théorie de groupe

Couvre les bases de la théorie des groupes, y compris les ensembles, les applications et les exemples comme les permutations et les rotations.

Ensembles et opérations: Introduction aux mathématiques

Couvre les bases des ensembles et des opérations en mathématiques, des propriétés des ensembles aux opérations avancées.

Théorie des groupes en physique

Couvre les fondements de la théorie des groupes en physique, en se concentrant sur les symétries et les transformations laissant les équations physiques inchangées.

Homologie des surfaces de Riemann

Explore l'homologie des surfaces de Riemann, y compris l'homologie singulière et le standard n-simplex.

ServiceNow: Créer des tableaux de bord et des rapports

Explore la création de tableaux de bord dans ServiceNow, en mettant l'accent sur les avantages, la transition des pages d'accueil et des concepts importants comme les tâches et les incidents.

Afficher plus

Concepts associés (32)

Quantification (logique)

Universal quantification

Quantification existentielle

Branching quantifier

Unicité (mathématiques)

Afficher plus