Quasitrace - Википедия - Quasitrace

В математика, особенно функциональный анализ, а квазитраса не обязательно аддитивный следовой функционал на C * -алгебра. Аддитивная квазитраса называется след. Если каждая квазитрасса представляет собой след, это большая открытая проблема.

Определение

А квазитраса на C * -алгебре А это карта ${ Displaystyle тау двоеточие A _ {+} to [0, infty]}$ такой, что:

• ${ Displaystyle тау}$ является однородный:

${ Displaystyle тау ( лямбда а) = лямбда тау (а)}$ для каждого ${ displaystyle a in A _ {+}}$ и ${ Displaystyle лямбда в [0, infty)}$.

• ${ Displaystyle тау}$ является следственный:

${ Displaystyle тау (хх ^ {*}) = тау (х ^ {*} х)}$ для каждого ${ displaystyle x in A}$.

• ${ Displaystyle тау}$ является добавка на поездка на работу элементы:

${ Displaystyle тау (а + Ь) = тау (а) + тау (Ь)}$ для каждого ${ displaystyle a, b in A _ {+}}$ это удовлетворяет ${ displaystyle ab = ba}$.

• и такой, что для каждого ${ Displaystyle п geq 1}$ индуцированная карта

${ displaystyle tau _ {n} двоеточие M_ {n} (A) _ {+} to [0, infty], (a_ {j, k}) _ {j, k = 1, ... , n} mapsto tau (a_ {11}) + ... tau (a_ {nn})}$

обладает такими же свойствами.

Квазитраса ${ Displaystyle тау}$ является:

• ограниченный если

${ displaystyle sup { tau (a): a in A _ {+}, | a | leq 1 } < infty.}$

• нормализованный если

${ displaystyle sup { tau (a): a in A _ {+}, | a | leq 1 } = 1.}$

• полунепрерывный снизу если

${ Displaystyle {а ин А _ {+}: тау (а) leq т }}$ закрывается для каждого ${ Displaystyle т в [0, infty)}$.

Варианты

• А 1-квазитраса это карта ${ Displaystyle А _ {+} к [0, infty]}$ это просто однородное, следовое и аддитивное на коммутирующих элементах, но не обязательно распространяется на такое отображение на матричных алгебрах над А. Если 1-квазитраса продолжается до матричной алгебры ${ Displaystyle M_ {п} (А)}$, то он называется n-квазитраса. Существуют примеры 1-квазитреков, которые не являются 2-квазитреками. Можно показать, что каждая 2-квазитрасса автоматически становится n-квазитраской для каждой ${ Displaystyle п geq 1}$. Иногда в литературе квазитраса означает 1-квазитраса и 2-квазитраса означает квазитраса.

Характеристики

• Квазибрасса, аддитивная по всем элементам, называется след.

• Уффе Хаагеруп показал, что каждая квазитрасса на юнитале точная C * -алгебра является аддитивным и, следовательно, следом. Статья Хаагерупа ^[1] был распространен в виде рукописных заметок в 1991 году и оставался неопубликованным до 2014 года. Бланшар и Кирхберг удалили предположение об унитарности в результате Хаагерупа.^[2] На сегодняшний день (август 2020 г.) остается открытой проблема, если каждая квазитрасса является аддитивной.

• Иоахим Кунц показал, что простая унитальная C * -алгебра стабильно конечна тогда и только тогда, когда она допускает функцию размерности. Простая унитальная C * -алгебра стабильно конечна тогда и только тогда, когда она допускает нормированную квазибрассу. Важным следствием является то, что каждая простая, унитальная, стабильно конечная, точная C * -алгебра допускает следовое состояние.

• Каждая квазитрасса на алгебра фон Неймана это след.

Примечания

Рекомендации

• Бланшар, Этьен; Кирхберг, Эберхард (февраль 2004 г.). «Непростые чисто бесконечные C ∗ -алгебры: случай Хаусдорфа» (PDF). Журнал функционального анализа. 207 (2): 461–513. Дои:10.1016 / j.jfa.2003.06.008.
• Хаагеруп, Уффе (2014). «Квазитрасы на точных C * -алгебрах являются следами». C. R. Math. Rep. Acad. Sci. Канада. 36: 67–92.