História Do Conceito de Funções

O conceito de Função: alguns tópicos históricos
Vinicius Linder - Mestrando PEMAT/UFRJ
2021
Índice
Preâmbulo: Que história é essa?

História e Ensino
Introdução
O conceito de função
Predisposições do conceito
A evolução do conceito
Primeiras definições (1692-1748)
O problema das cordas vibrantes
As séries de Fourier
A emergência da matemática pura
A abordagem dos conjuntos
Considerações Finais
Índice

História e Ensino
Introdução
Abordagens da história no ensino:
I Anedotização: Motivação/Contextualização
I Reprodução ou reconstrução de fato histórico
I Laboratório Epistemológico (Radford, 1997)

Índice

História e Ensino
Introdução
O conceito de Função
A concepção atual
Definição
Função é uma relação que relaciona cada elemento de um conjunto
a um único elemento de outro conjunto.
A concepção atual
Definição
Função é uma relação que relaciona cada elemento de um conjunto
a um único elemento de outro conjunto.
Caracterı́sticas:
I A ”relacionalidade” da função
I A generalidade dos conjuntos
I A arbitrariedade da relação
Caracterı́sticas:
Quando e por que relações são admitidas como ”objetos”?
Caracterı́sticas:
Do que tratam/tratavam as funções?
Caracterı́sticas:
Do que tratam/tratavam as funções?
De que relações tratamos? Como são expressas essa relações?
Índice

História e Ensino
Introdução
Em que se baseia a ideia de uma função?

Em que se baseia a ideia de uma função?
Preceitos básicos
I O simbolismo
I A noção de variável
O simbolismo
O papel dos simbolismos

O simbolismo
I 2x − 12 = 38
I 2x 2 − x = 7
O simbolismo
I 2x − 12 = 38
I 2x 2 − x = 7
A simbologia para os coeficientes [François Viète, séc XVI]

I Ax = B
I Ax 2 + Bx = D
O simbolismo
O papel do simbolismo na teoria das equações
I 2x − 12 = 38
I 2x 2 − x = 7 (Equações especı́ficas)
A simbologia para os coeficientes [François Viète, séc XVI]

I Ax = B
I Ax 2 + Bx = D (Equações gerais)
O estudo das curvas
A noção de variável
I x 2 + 2x = 35
I x 2 + y 2 = 25
O estudo das curvas
A noção de variável
I x 2 + 2x = 35
O valor de x é ”determinável”.
x é uma incógnita.
I x 2 + y 2 = 25
Os valores de x e y variam de forma dependente.
x e y são variáveis.
O estudo das curvas
A fı́sica pós-Galileu (século XVII)

I O estudo do movimento
I A quantificação dos fenômenos
I A curva como trajetória
I A variação de uma posição em relação ao tempo
A geometria analı́tica de Descartes (1596-1650)

I A descrição das curvas a partir de equações
Índice

História e Ensino
Introdução
As ”funções” de Leibniz (1646-1716)




A definição de Johann Bernoulli
Definição (Bernoulli, 1718)

Chamamos função de uma variável a uma quantidade composta,
de maneira qualquer, desta variável e constantes.
A definição de Johann Bernoulli
Definição (Bernoulli, 1718)

Chamamos função de uma variável a uma quantidade composta,
de maneira qualquer, desta variável e constantes.
A definição de Euler
Definição (Euler, 1748)

Uma função de uma quantidade variável é uma expressão
analı́tica composta, de maneira qualquer, desta quantidade
variável e números ou quantidades constantes.
Tais definições são restritivas?


Depende!!

Depende!!
São rigorosas?

Depende!!
São rigorosas?
Depende também!!
O contexto de Euler
I A algebrização
I As expansões em séries de potências

a0 + a1 x + a2 x 2 + a3 x 3 + ...
Índice

História e Ensino
Introdução
As cordas vibrantes
As cordas vibrantes
As cordas vibrantes
A solução de D’Alembert (1747)
ϕ(x + at) + ϕ(x − at)
onde ϕ é a função que descreve a posição inicial da curva.

A solução de D’Alembert (1747)
ϕ(x + at) + ϕ(x − at)
onde ϕ é a função que descreve a posição inicial da curva.
Entretanto, ϕ deve representar qualquer posição inicial por uma

expressão analı́tica.
Objeções de Euler
A solução funciona, mas deve abarcar também:

I Curvas compostas por leis em intervalos partidos
x se x ≤ 1
exemplo: f (x) =
x 2 se x > 1
I Curvas desenhadas a mão livre
Objeções de Euler
A solução funciona, mas deve abarcar também:

I Curvas compostas por leis em intervalos partidos
x se x ≤ 1
exemplo: f (x) =
x 2 se x > 1
I Curvas desenhadas a mão livre
Entretanto, nenhuma dessas são identificadas por expressões

analı́ticas!
A nova definição de Euler

Definição (Euler, 1755)
Se certas quantidades dependem de outras quantidades de
maneira que se as outras mudam então essas quantidades também
mudam, então chamamos essas quantidades de funções dessas
últimas. Essa denominação é bastante extensa e contém nela
mesma todas as maneiras pelas quais uma quantidade pode ser
determinada pelas outras. Consequentemente, se x designa uma
quantidade variável, então todas as outras quantidades que
dependem de x, de qualquer maneira, ou que são determinadas por
x, são chamadas funções de x.
Outras definições
A definição de Condorcet:
Definição (1778-1782)
(1) Funções explı́citas;
(2) Funções implı́citas;
(3) Funções determinadas condicionalmente.
A definição de Lacroix:
Definição (Lacroix, 1797)
Qualquer quantidade cujo valor dependa de uma ou mais outras
quantidades, diz-se que é função desta última, quer saibamos ou
quer não saibamos por que operações é necessário passar para
voltar destas para a primeira.
Índice

História e Ensino
Introdução
Fourier e as séries trigonométricas

Proposição (1822)
Qualquer função pode ser escrita como uma soma de senos e
cossenos.
Definição (Fourier, 1822)

Em geral, uma função fx representa a sucessão de valores ou
ordenadas os quais cada um é arbitrário. Para uma infinidade de
valores atribuı́dos à abscissa x, existem um número igual de valores
para a ordenada fx. Todas possuem valores numéricos atuais,
positivos, negativos ou nulos. Não se supõe que essas
ordenadas estejam sujeitos a uma lei comum; elas se sucedem
uma à outra de um modo qualquer, e cada uma delas é dada como
uma única quantidade.
Índice

História e Ensino
Introdução
Os contextos nacionais
O contexto francês
I A revolução francesa (1789-1799)
I O projeto de democratização da educação
I A École Polytechnique
O contexto da Prússia (atual Alemanha)

I As reformas de Wilhem Von Humboldt (1810)
I O movimento neohumanista
I O idealismo neokantiano
Os novos objetos da matemática

I A renúncia às intuições
I O abandono do paradigma das quantidades
I As geometrias não euclidianas
I O novo conceito de número
A função de Dirichlet
As condições de Dirichlet para uma série de Fourier

Proposição (Dirichlet, 1829)
Se uma função f possui uma quantidade finita de descontinuidades
e uma quantidade também finita de máximos e mı́nimos no
intervalo (a,b), então ela pode ser representada por uma série de
Fourier neste intervalo.
x se x ∈ Q
f (x)
x 2 se x ∈
6 Q
Definição (Dirichlet, 1837)

Sejam a e b dois valores fixos e x uma quantidade variável que
recebe sucessivamente todos os valores entre a e b. Se a cada x
corresponde um único y, finito, de maneira que, quando x se move
continuamente no intervalo entre a e b, y=f(x) também varia
progressivamente, então y é dita uma função contı́nua de x nesse
intervalo. Para isso, não é obrigatório, em absoluto, nem que
y dependa de x de acordo com uma mesma e única lei, nem
mesmo que seja representada por uma relação expressa por
meio de operações matemáticas.
As funções patológicas
A função de Weierstrass
Índice

História e Ensino
Introdução
Movimentos de rigorização no século XIX

I A aritmetização da análise
I As extensões do conceito de número
I A teoria dos conjuntos
Movimentos de rigorização no século XIX

I A aritmetização da análise
I As extensões do conceito de número
I A teoria dos conjuntos
Definição (Dedekind, 1887)

Por um mapeamento de um sistema S entende-se uma lei, de
acordo com a qual a cada elemento determinado s de S está
associado um determinado objeto, que é chamado de imagem de s
e é denotado por φ(s); dizemos, também, que φ(s) corresponde ao
elemento s, que φ(s) é causado ou gerado pelo mapeamento φ de
s, e que s é transformado pelo mapeamento φ em φ(s)
O movimento Bourbaki
Definição (Bourbaki, 1939)
Sejam E e F dois conjuntos, que podem ser distintos ou não.
Uma relação entre um elemento variável x de E e um elemento
variável y de F é dita uma relação funcional se, para todo x
pertencente a E, existe um único y pertencente a F que possui a
relação dada com x. Damos o nome função à operação que
associa, desse modo, a todo elemento x pertencente a E, o
elemento y pertencente a F que possui a relação dada com x; y
será dito o valor da função no elemento x.
”Essa abordagem conjuntista das funções elimina todas as ideias

originais associadas à variação e, portanto, à noção de variável.
Conjunto e variação passam a ser idéias inconciliáveis. Podemos
definir variável usando a noção de conjunto, mas ao preço de
conceber todos os valores possı́veis da variável a um só tempo.
Logo, ao invés de ser entendida como uma quantidade
indeterminada, que varia, a variável passa a ser um elemento de
um conjunto numérico.”(Roque, 2012, p.474)
I O conceito de função como o apresentamos na escola básica é

bastante recente!
I Seu entendimento é múltiplo e está associado a suas fases.
I Curva
I Expressão analı́tica
I Relação
I Seu papel se torna preponderante conforme os objetos
matemáticos se modificam, de uma natureza ”substancial” a
uma natureza ”relacional”.
Muito obrigado pela atenção! Usem máscara!

História Do Conceito de Funções

Enviado por

Direitos autorais:

Formatos disponíveis

História Do Conceito de Funções

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

História Do Conceito de Funções

Enviado por

Direitos autorais:

Formatos disponíveis

O conceito de Função: alguns tópicos históricos

Vinicius Linder - Mestrando PEMAT/UFRJ

Preâmbulo: Que história é essa?

Preâmbulo: Que história é essa?

Abordagens da história no ensino:

I Reprodução ou reconstrução de fato histórico

I Laboratório Epistemológico (Radford, 1997)

Preâmbulo: Que história é essa?

I A generalidade dos conjuntos

Preâmbulo: Que história é essa?

Em que se baseia a ideia de uma função?

Em que se baseia a ideia de uma função?

O papel dos simbolismos

O papel dos simbolismos

O papel dos simbolismos

A simbologia para os coeficientes [François Viète, séc XVI]

O papel do simbolismo na teoria das equações

A simbologia para os coeficientes [François Viète, séc XVI]

A fı́sica pós-Galileu (século XVII)

A geometria analı́tica de Descartes (1596-1650)

Preâmbulo: Que história é essa?

As ”funções” de Leibniz (1646-1716)

As ”funções” de Leibniz (1646-1716)

As ”funções” de Leibniz (1646-1716)

As ”funções” de Leibniz (1646-1716)

A definição de Johann Bernoulli

Definição (Bernoulli, 1718)

A definição de Johann Bernoulli

Definição (Bernoulli, 1718)

Definição (Euler, 1748)

Tais definições são restritivas?

Tais definições são restritivas?

Tais definições são restritivas?

Tais definições são restritivas?

I As expansões em séries de potências

Preâmbulo: Que história é essa?

A solução de D’Alembert (1747)

ϕ(x + at) + ϕ(x − at)

onde ϕ é a função que descreve a posição inicial da curva.

A solução de D’Alembert (1747)

ϕ(x + at) + ϕ(x − at)

onde ϕ é a função que descreve a posição inicial da curva.

Entretanto, ϕ deve representar qualquer posição inicial por uma

A solução funciona, mas deve abarcar também:

A solução funciona, mas deve abarcar também:

Entretanto, nenhuma dessas são identificadas por expressões

A nova definição de Euler

Preâmbulo: Que história é essa?

Fourier e as séries trigonométricas

Definição (Fourier, 1822)

Preâmbulo: Que história é essa?

O contexto da Prússia (atual Alemanha)

Os novos objetos da matemática

As condições de Dirichlet para uma série de Fourier

Definição (Dirichlet, 1837)

Preâmbulo: Que história é essa?

Movimentos de rigorização no século XIX

Movimentos de rigorização no século XIX