Carregando

Aula 2 de Introdução à Geometria Diferencial Sintética e Seus Modelos

por Jean Cerqueira Berni e Hugo Luiz Mariano

Incorporar
Recomendar
Download
     
Gostei (0)

Formatos disponíveis

Assista a esse vídeo em: MP4 (1280 X 720 px) | MP4 (640 X 360 px)

Licença de uso

Acesso Aberto (Verde)
Esta licença permite ao usuário copiar o conteúdo do e-Aulas USP, porém veta qualquer alteração e/ou sua utilização para fins comerciais ou não educacionais, autorizando seu compartilhamento sob licença com as mesmas características, desde que se atribua crédito aos autores.

Sobre a aula

Nesta aula apresentamos a definição, calcada no Axioma de Kock-Lawvere, da derivada de uma função, exibimos exemplos e demonstramos algumas regras de derivação, como a regra da derivação da soma e do produto.
Cotejamos alguns conceitos centrais da Geometria Diferencial dados nos âmbitos analítico e sintético, quais sejam, os de vetor, espaço e fibrado tangente, o de k-forma diferencial, campos vetoriais tangentes e conexão afim.
Encerramos apresentando uma estrutura de pré-ordem no anel do tipo linha, R, que nos permite definir sinteticamente o processo de integração.

Disciplina

MAT5697-1 Introdução à Geometria Diferencial Sintética e Seus Modelos

EMENTA

- Introdução à Geometria Diferencial Sintética: o axioma de Kock-Lawvere e suas consequências. Formulação sintética dos conceitos de vetores, espaços e campos vetoriais tangentes, k-formas diferenciais, conexão afim e microfluxos. Axiomas de integração.
- Introdução do conceito de anel Cꝏ nas formas funtorial e da Álgebra Universal. Construções envolvendo anéis Cꝏ: o anel Cꝏ de frações, suas propriedades e caracterizações.
- Exemplos de topoi que validam axiomas da GDS: topoi de feixes, topos de Zariski liso e topos de Dubuc. Tópicos sobre Álgebra Comutativa Suave.

Objetivo

Introduzir o aluno à Geometria Diferencial Sintética (GDS), apresentando formulações axiomáticas que permitem uma descrição simplificada de diversos objetos e conceitos da Geometria Diferencial como, por exemplo, o “axioma de Kock-Lawvere” e suas consequências, oferecendo-lhe um outro ponto de vista sobre o estudo das variedades suaves. Apresentar ao aluno o conceito de anel Cꝏ ,tanto na forma da Álgebra Universal como na forma funtorial (de teoria de Lawvere), demonstrando a conveniência de seu emprego na construção de modelos para GDS e apresentando resultados originais sobre esses anéis.

Índice de vídeos da disciplina

  1. Aula 1 de Introdução à Geometria Diferencial Sintética e Seus Modelos
  2. Aula 2 de Introdução à Geometria Diferencial Sintética e Seus Modelos
  3. Aula 3 de Introdução à Geometria Diferencial Sintética e Seus Modelos
  4. Aula 4 de Introdução à Geometria Diferencial Sintética e Seus Modelos
  5. Aula 5 de Introdução à Geometria Diferencial Sintética e Seus Modelos
  6. Aula 6 de Introdução à Geometria Diferencial Sintética e Seus Modelos
Superintendência de Tecnologia da Informação