Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Merged by Bors] - feat(analysis/normed_space/star/gelfand_duality): Show the Gelfand transform is a bijective isometry for C⋆-algebras over ℂ #16488

Closed
wants to merge 16 commits into from
Closed

[Merged by Bors] - feat(analysis/normed_space/star/gelfand_duality): Show the Gelfand transform is a bijective isometry for C⋆-algebras over ℂ #16488

wants to merge 16 commits into from

Commits on Sep 9, 2022

  1. Cherry pick from dependent branches

    @j-loreaux
    j-loreaux committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    b70f2be View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2022

  1. cherry pick more

    @j-loreaux
    j-loreaux committed Sep 10, 2022
    Configuration menu
    Copy the full SHA
    04e700e View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2022

  1. sorry-free proof: isometry gelfand_star_transform

    @j-loreaux
    j-loreaux committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    da5ddb4 View commit details
    Browse the repository at this point in the history

  2. get surjectivity

    @j-loreaux
    j-loreaux committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    d7d0cb5 View commit details
    Browse the repository at this point in the history

  3. start cleaning up

    @j-loreaux
    j-loreaux committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    b6b979c View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2022

  1. remove the unnecessary continuity lemma

    @j-loreaux
    j-loreaux committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    528e4a2 View commit details
    Browse the repository at this point in the history

  2. move some things

    @j-loreaux
    j-loreaux committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    764a961 View commit details
    Browse the repository at this point in the history

  3. rename file

    @j-loreaux
    j-loreaux committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    eb035ea View commit details
    Browse the repository at this point in the history

  4. further cleaning

    @j-loreaux
    j-loreaux committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    ffa25da View commit details
    Browse the repository at this point in the history

  5. move coe_gelfand_star_transform

    @j-loreaux
    j-loreaux committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    be85cf4 View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2022

  1. rename to ideal.to_character_space

    @j-loreaux
    j-loreaux committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    68a937e View commit details
    Browse the repository at this point in the history

  2. remove references to gelfand_star_transform to save the name

    @j-loreaux
    j-loreaux committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    258d58b View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2022

  1. add copyright header and module docstring

    @j-loreaux
    j-loreaux committed Sep 15, 2022
    Configuration menu
    Copy the full SHA
    a26422b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into j-loreaux/gelfand-transform-spectral-mapping

    @j-loreaux
    j-loreaux committed Sep 15, 2022
    Configuration menu
    Copy the full SHA
    10a2e57 View commit details
    Browse the repository at this point in the history

  3. remove unnecessary import

    @j-loreaux
    j-loreaux committed Sep 15, 2022
    Configuration menu
    Copy the full SHA
    f25624a View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2022

  1. make changes based on code review

    @j-loreaux
    j-loreaux committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    401ef25 View commit details
    Browse the repository at this point in the history