Vous êtes ici : Domaine III · Résultats et théorèmes · Identité v18 — Schatten / det₂[P]
Ce que vous allez lire
Le test de Schur échoue (V ∉ S₂ pour σ ≤ 1) ; le bon outil est la norme HS de M ; avec lui, det₂(I − zM) est bien défini pour σ > 0.
Pourquoi ça compte
La correction v17 → v18 qui a rendu rigoureuse la quantité centrale du programme — le déterminant régularisé.
Ce que ça ne dit pas
Rien sur la valeur de det₂. L’identité det₂ ↔ ξ (verrou F3) reste ouverte. Ceci fonde l’objet, ne le relie pas.
À lire à côté
H1 (la borne HS en 3/2) et det₂ ↔ ξ (l’identité ouverte).