Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (find-LATEX "2021-1-C3-abertos-e-fechados.tex") % (defun c () (interactive) (find-LATEXsh "lualatex -record 2021-1-C3-abertos-e-fechados.tex" :end)) % (defun C () (interactive) (find-LATEXsh "lualatex 2021-1-C3-abertos-e-fechados.tex" "Success!!!")) % (defun D () (interactive) (find-pdf-page "~/LATEX/2021-1-C3-abertos-e-fechados.pdf")) % (defun d () (interactive) (find-pdftools-page "~/LATEX/2021-1-C3-abertos-e-fechados.pdf")) % (defun e () (interactive) (find-LATEX "2021-1-C3-abertos-e-fechados.tex")) % (defun o () (interactive) (find-LATEX "2021-1-C3-abertos-e-fechados.tex")) % (defun u () (interactive) (find-latex-upload-links "2021-1-C3-abertos-e-fechados")) % (defun v () (interactive) (find-2a '(e) '(d))) % (defun d0 () (interactive) (find-ebuffer "2021-1-C3-abertos-e-fechados.pdf")) % (defun cv () (interactive) (C) (ee-kill-this-buffer) (v) (g)) % (code-eec-LATEX "2021-1-C3-abertos-e-fechados") % (find-pdf-page "~/LATEX/2021-1-C3-abertos-e-fechados.pdf") % (find-sh0 "cp -v ~/LATEX/2021-1-C3-abertos-e-fechados.pdf /tmp/") % (find-sh0 "cp -v ~/LATEX/2021-1-C3-abertos-e-fechados.pdf /tmp/pen/") % (find-xournalpp "/tmp/2021-1-C3-abertos-e-fechados.pdf") % file:///home/edrx/LATEX/2021-1-C3-abertos-e-fechados.pdf % file:///tmp/2021-1-C3-abertos-e-fechados.pdf % file:///tmp/pen/2021-1-C3-abertos-e-fechados.pdf % http://angg.twu.net/LATEX/2021-1-C3-abertos-e-fechados.pdf % (find-LATEX "2019.mk") % (find-CN-aula-links "2021-1-C3-abertos-e-fechados" "3" "c3m211af" "c3af") % % Superseded by: % (c3m222topp 1 "title") % (c3m222topa "title") % (c3m222topa "title" "Aulas 26 e 27: abertos e fechados em $\\R^2$") % % «video-1» (to ".video-1") % (find-ssr-links "c3m211af" "2021-1-C3-abertos-e-fechados" "3_X26Abd0sk") % (code-video "c3m211afvideo" "$S/http/angg.twu.net/eev-videos/2021-1-C3-abertos-e-fechados.mp4") % (find-c3m211afvideo "0:00") % % «video-2» (to ".video-2") % (find-ssr-links "c3m211af" "2021-1-C3-abertos-e-fechados-2") % (code-video "c3m211afvideo2" "$S/http/angg.twu.net/eev-videos/2021-1-C3-abertos-e-fechados-2.mp4") % (find-c3m211afvideo2 "0:00") % «.video-1» (to "video-1") % «.video-2» (to "video-2") % % «.defs» (to "defs") % «.title» (to "title") % «.nove-subconjuntos» (to "nove-subconjuntos") % «.exercicios-1-e-2» (to "exercicios-1-e-2") % «.bolas» (to "bolas") % «.exercicio-3» (to "exercicio-3") % «.exercicio-4» (to "exercicio-4") % «.interior» (to "interior") % «.exercicio-5» (to "exercicio-5") % «.exercicio-6» (to "exercicio-6") % «.fecho» (to "fecho") % «.exercicio-7» (to "exercicio-7") % «.algumas-traducoes» (to "algumas-traducoes") % «.algumas-traducoes-2» (to "algumas-traducoes-2") % % «.djvuize» (to "djvuize") \documentclass[oneside,12pt]{article} \usepackage[colorlinks,citecolor=DarkRed,urlcolor=DarkRed]{hyperref} % (find-es "tex" "hyperref") \usepackage{amsmath} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{pict2e} \usepackage[x11names,svgnames]{xcolor} % (find-es "tex" "xcolor") \usepackage{colorweb} % (find-es "tex" "colorweb") %\usepackage{tikz} % % (find-dn6 "preamble6.lua" "preamble0") %\usepackage{proof} % For derivation trees ("%:" lines) %\input diagxy % For 2D diagrams ("%D" lines) %\xyoption{curve} % For the ".curve=" feature in 2D diagrams % \usepackage{edrx21} % (find-LATEX "edrx21.sty") \input edrxaccents.tex % (find-LATEX "edrxaccents.tex") \input edrx21chars.tex % (find-LATEX "edrx21chars.tex") \input edrxheadfoot.tex % (find-LATEX "edrxheadfoot.tex") \input edrxgac2.tex % (find-LATEX "edrxgac2.tex") % %\usepackage[backend=biber, % style=alphabetic]{biblatex} % (find-es "tex" "biber") %\addbibresource{catsem-slides.bib} % (find-LATEX "catsem-slides.bib") % % (find-es "tex" "geometry") \usepackage[a6paper, landscape, top=1.5cm, bottom=.25cm, left=1cm, right=1cm, includefoot ]{geometry} % \begin{document} \catcode`\^^J=10 \directlua{dofile "dednat6load.lua"} % (find-LATEX "dednat6load.lua") %L dofile "edrxtikz.lua" -- (find-LATEX "edrxtikz.lua") %L dofile "edrxpict.lua" -- (find-LATEX "edrxpict.lua") \pu % «defs» (to ".defs") % (find-LATEX "edrx15.sty" "colors-2019") %\long\def\ColorRed #1{{\color{Red1}#1}} %\long\def\ColorViolet#1{{\color{MagentaVioletLight}#1}} %\long\def\ColorViolet#1{{\color{Violet!50!black}#1}} %\long\def\ColorGreen #1{{\color{SpringDarkHard}#1}} %\long\def\ColorGreen #1{{\color{SpringGreenDark}#1}} %\long\def\ColorGreen #1{{\color{SpringGreen4}#1}} %\long\def\ColorGray #1{{\color{GrayLight}#1}} %\long\def\ColorGray #1{{\color{black!30!white}#1}} %\long\def\ColorBrown #1{{\color{Brown}#1}} %\long\def\ColorBrown #1{{\color{brown}#1}} %\long\def\ColorOrange#1{{\color{orange}#1}} % %\long\def\ColorShort #1{{\color{SpringGreen4}#1}} %\long\def\ColorLong #1{{\color{Red1}#1}} % %\def\frown{\ensuremath{{=}{(}}} %\def\True {\mathbf{V}} %\def\False{\mathbf{F}} %\def\D {\displaystyle} \def\BA{\mathsf{B}} \def\BF{\overline{\mathsf{B}}} \def\drafturl{http://angg.twu.net/LATEX/2021-1-C3.pdf} \def\drafturl{http://angg.twu.net/2021.1-C3.html} \def\draftfooter{\tiny \href{\drafturl}{\jobname{}} \ColorBrown{\shorttoday{} \hours}} % _____ _ _ _ % |_ _(_) |_| | ___ _ __ __ _ __ _ ___ % | | | | __| |/ _ \ | '_ \ / _` |/ _` |/ _ \ % | | | | |_| | __/ | |_) | (_| | (_| | __/ % |_| |_|\__|_|\___| | .__/ \__,_|\__, |\___| % |_| |___/ % % «title» (to ".title") % (c3m211afp 1 "title") % (c3m211afa "title") \thispagestyle{empty} \begin{center} \vspace*{1.2cm} {\bf \Large Cálculo 3 - 2021.1} \bsk Aula 25: abertos e fechados em $\R^2$ \bsk Eduardo Ochs - RCN/PURO/UFF \url{http://angg.twu.net/2021.1-C3.html} \end{center} \newpage {\bf Introdução} Dê uma olhada no capítulo 4 do Bortolossi... Comece pela seção 4.1, ``Por que funções contínuas são importantes'', depois leia a seção 4.3, sobre o Teorema de Weirstrass em $n$ variáveis, e relembre a definição de distância euclidiana na p.139. \msk Nós vamos começar entendendo as definições das páginas 142 até 148, e vamos reescrevê-las de um jeito bem mais curto. \msk O melhor modo de entender esses assuntos é \ColorRed{discutindo no Telegram os exercícios de hoje}. \msk Nós vamos ver como fazer hipóteses sobre os exercícios dos próximos dois slides, como testar essas hipóteses, e como descartar as hipóteses erradas. \newpage % «nove-subconjuntos» (to ".nove-subconjuntos") % (c3m211afp 3 "nove-subconjuntos") % (c3m211afa "nove-subconjuntos") {\bf Nove subconjuntos de $\R^2$} (Compare com a p.130 do Bortolossi...) \msk \def\eee{\text{\; e \;}} Sejam: % $$\begin{array}{rcl} C_1 &=& \setofxyst{ 2<y≤3 }, \\ C_2 &=& \setofxyst{ 2<y≤3 \eee 1≤x<4 }, \\ C_3 &=& \setofxyst{ d((x,y),(1,2))≤2 }, \\ C_4 &=& \setofxyst{ 1<d((x,y),(1,2))≤2 }, \\ C_5 &=& \setofxyst{ d((x,y),(1,2))≤2 \eee 1<x }, \\ C_6 &=& \setofxyst{ y>x }, \\ \end{array} $$ \def\vc#1{\myvcenter{#1}} $$ % (find-latexscan-links "C3" "20210908_C_6") % (find-xpdf-page "~/LATEX/2021-1-C3/20210908_C_6.pdf") C_7 \;=\; \vc{\includegraphics[height=2cm]{2021-1-C3/20210908_C_6.pdf}}, % \quad % % (find-latexscan-links "C3" "20210908_C_7") % (find-xpdf-page "~/LATEX/2021-1-C3/20210908_C_7.pdf") C_8 \;=\; \vc{\includegraphics[height=2cm]{2021-1-C3/20210908_C_7.pdf}}, % \quad % % (find-latexscan-links "C3" "20210908_C_9") % (find-xpdf-page "~/LATEX/2021-1-C3/20210908_C_9.pdf") C_9 \;=\; \vc{\includegraphics[height=2cm]{2021-1-C3/20210908_C_9.pdf}}. $$ \newpage % «exercicios-1-e-2» (to ".exercicios-1-e-2") % (c3m211afp 4 "exercicios-1-e-2") % (c3m211afa "exercicios-1-e-2") {\bf Exercício 1.} %\msk Represente graficamente os conjuntos $C_1, \ldots, C_6$. \bsk {\bf Exercício 2.} %\msk Represente os conjuntos $C_7$, $C_8$, $C_9$ em ``notação de conjuntos'' --- isto é, na forma $\setofxyst{\ldots}$. \newpage % «bolas» (to ".bolas") % (c3m211afp 5 "bolas") % (c3m211afa "bolas") {\bf Bolas abertas e fechadas} Se $P$ é um ponto de $\R^n$ então a {\sl bola fechada de raio $ε$ em torno de $P$}, $\BF_ε(P)$, e a {\sl bola aberta de raio $ε$ em torno de $P$}, $\BA_ε(P)$, são definidas assim: % $$\begin{array}{rcl} \BF_ε(P) &=& \setofst{Q∈\R^n}{d(P,Q)≤ε} \\ \BA_ε(P) &=& \setofst{Q∈\R^n}{d(P,Q)<ε} \\ \end{array} $$ \msk Por exemplo, se $P=6∈\R^1$ então: % $$\scalebox{0.85}{$ \begin{array}{rcl} \BF_2(6) &=& \setofst{Q∈\R^1}{d(6,Q)≤2} \\ &=& \setofst{x∈\R}{d(6,x)≤2} \\ &=& \setofst{x∈\R}{\sqrt{(6-x)^2}≤2} \\ &=& \setofst{x∈\R}{ |x-6| ≤2} \\ &=& \setofst{x∈\R}{-2 ≤ x-6 ≤2} \\ &=& \setofst{x∈\R}{-2+6 ≤ x ≤2+6} \\ &=& [4,8] \\ \end{array} $} $$ \newpage % «exercicio-3» (to ".exercicio-3") % (c3m211afp 6 "exercicio-3") % (c3m211afa "exercicio-3") {\bf Exercício 3.} Represente graficamente: \msk a) $\BF_1((2,2))$, b) $\BA_1((2,2))$. \msk Dica: estes conjuntos vão parecer muito mais com ``bolas de verdade'' do que o conjunto $\BF_2(6)$ do slide anterior. \bsk Lembre que a gente desenha a fronteira de um conjunto tracejada quando a gente quer indicar que os pontos da fronteira não pertencem ao conjunto e a gente desenha ela sólida quando quer indicar que os pontos dela pertencem ao conjunto. Veja os desenhos dos conjuntos $C_8$ e $C_9$. \newpage % «exercicio-4» (to ".exercicio-4") % (c3m211afp 7 "exercicio-4") % (c3m211afa "exercicio-4") {\bf Exercício 4.} Aqui você vai ter que ser capaz de visualizar bolas sobrepostas a conjuntos que você já desenhou sem desenhar estas bolas. Diga se cada uma das afirmações abaixo é verdadeira ou falsa. \msk a) $\BA_{0.1} ((0, 2.5))⊆C_1$ b) $\BA_{0.5} ((0, 2.5))⊆C_1$ c) $\BF_{0.5} ((0, 2.5))⊆C_1$ d) $\BA_{0.1} ((1, 3))⊆C_2$ e) $\BA_{0.1} ((2.5, 2.5))⊆C_2$ f) $\BA_{1} ((2, 2))⊆C_3$ g) $\BF_{1} ((2, 2))⊆C_3$ h) $\BA_{0.5} ((1, 0.5))⊆C_4$ i) $\BA_{0.1} ((0.5, 2))⊆C_5$ j) $\BA_{0.001} ((1.1, 1.01))⊆C_8$ \newpage % «interior» (to ".interior") % (c3m211afp 8 "interior") % (c3m211afa "interior") {\bf O interior de um conjunto (e conjuntos abertos)} Def: o {\sl interior} de um conjunto $A⊂\R^n$, $\Int(A)$, é definido como: % $$\Int(A) \;\;=\;\; \setofst{P∈A}{∃ε>0.\, \BA_ε(P)⊆A}.$$ Note que isto sempre é verdade: $\Int(A)⊂A$. Dizemos que um conjunto $A$ é {\sl aberto} quando $A⊂\Int(A)$. \newpage % «exercicio-5» (to ".exercicio-5") % (c3m211afp 9 "exercicio-5") % (c3m211afa "exercicio-5") {\bf Exercício 5.} Seja $A = [2,4] ⊂ \R^1$. Verifique que $A$ não é aberto usando a definição do slide anterior. Dica: como $A = [2,4]$, % \def\iff{\Leftrightarrow} % $$\begin{array}{lrcl} & A & \multicolumn{2}{l}{\text{não é aberto}} \\ \iff \ph{m} & A & \not⊂ & \Int(A) \\ \iff & A & \not⊂ & \setofst{P∈A}{∃ε>0.\, \BA_ε(P)⊆A} \\ \iff & [2,4] & \not⊂ & \setofst{P∈[2,4]}{∃ε>0.\, \BA_ε(P)⊆[2,4]} \\ \end{array} $$ \msk Tente continuar você mesmo usando ou matematiquês ou português. Você talvez vá precisar de truques que as pessoas costumam aprender nos primeiros semestres mas acabaram não aprendendo dessa vez por causa da pandemia... \newpage % «exercicio-6» (to ".exercicio-6") % (c3m211afp 10 "exercicio-6") % (c3m211afa "exercicio-6") {\bf Exercício 6.} \ssk Represente graficamente: \ssk a) $\Int(C_8)$, b) $\Int(C_4)$, c) $\Int(C_5)$, d) $\Int(\BA_1((2,2)))$. \newpage % «fecho» (to ".fecho") % (c3m211afp 11 "fecho") % (c3m211afa "fecho") {\bf O fecho de um conjunto (e conjuntos fechados)} Def: o {\sl fecho} de um conjunto $A⊂\R^2$, $\ovl{A}$, é definido como: % $$\ovl{A} \;\;=\;\; \setofst{P∈\R^2}{∀ε>0.\, \BA_ε(P)∩A \neq ∅}$$ Compare com a definição do interior: % $$\Int(A) \;\;=\;\; \setofst{P∈A}{∃ε>0.\, \BA_ε(P)⊆A}.$$ Isto aqui sempre é verdade: $A ⊂ \ovl{A}$. Quando $\ovl{A} ⊂ A$ dizemos que $A$ é um conjunto {\sl fechado}. \newpage % «exercicio-7» (to ".exercicio-7") % (c3m211afp 12 "exercicio-7") % (c3m211afa "exercicio-7") {\bf Exercício 7.} \unitlength=20pt Digamos que: % $$D_1 \;\;=\;\; \vcenter{\hbox{% \beginpicture(0,0)(3,2) \pictgrid% \pictaxes% \pictpiecewise{(1,1)o--(2,1)c}% \end{picture}% }} $$ \msk Represente graficamente: a) $\ovl{C_8}$ b) $\ovl{D_1}$ c) $\Int(D_1)$ \newpage {\bf Um aviso sobre a P2} Em quase todos os problemas deste PDF é muito mais fácil mostrar que uma resposta está errada do que mostrar que ela está certa... e o método pra mostrar que uma resposta está errada vai ser um dos assuntos principais da P2. \msk % (Vou explicar ele daqui a pouco!) \newpage % «algumas-traducoes» (to ".algumas-traducoes") % (c3m211afp 14 "algumas-traducoes") % (c3m211afa "algumas-traducoes") {\bf Algumas traduções} \def\iff{\Leftrigharrow} $$\begin{array}{rcl} A⊂B &=& ∀a∈A. a∈B \\ A=B &=& (A⊂B)∧(B⊂A) \\ ¬(P∧Q) &=& ¬P∨¬Q \\ ¬(P∨Q) &=& ¬P∧¬Q \\ ¬(∀a∈A.P(a)) &=& ∃a∈A.¬P(a) \\ ¬(∃a∈A.P(a)) &=& ∀a∈A.¬P(a) \\ x∈\setofst{a∈A}{P(a)} &=& x∈A∧P(x) \\ ¬(P→Q) &=& P∧¬Q \\ \relax [20,42) &=& \setofst{x∈\R}{20≤x<42} \\ 20≤x<42 &=& 20≤x ∧ x<42 \\ \end{array} $$ \bsk Lembra que `$∧$' é ``e'', `$∨$' é ``ou'', `$¬$' é ``não'', `$→$' é ``implica''. \newpage % «algumas-traducoes-2» (to ".algumas-traducoes-2") % (c3m211afp 15 "algumas-traducoes-2") % (c3m211afa "algumas-traducoes-2") {\bf Alguns exemplos de traduções} $$\begin{array}{l} [a,b] ⊂ [20, 42) \\ = \;\; ∀x∈[a,b]. x∈[20, 42) \\ = \;\; ∀x∈[a,b]. 20≤x<42 \\ = \;\; ∀x∈\R. x∈[a,b] → 20≤x<42 \\ = \;\; ∀x∈\R. a≤x≤b → 20≤x<42 \\[10pt] % ¬([a,b] ⊂ [20, 42)) \\ = \;\; ¬(∀x∈\R. a≤x≤b → 20≤x<42) \\ = \;\; ∃x∈\R. ¬(a≤x≤b → 20≤x<42) \\ = \;\; ∃x∈\R. ¬(a≤x≤b)∧(20≤x<42) \\ = \;\; ∃x∈\R. ¬(a≤x ∧ x≤b)∧(20≤x<42) \\ = \;\; ∃x∈\R. (¬(a≤x) ∨ ¬(x≤b))∧(20≤x<42) \\ = \;\; ∃x∈\R. (x<a ∨ b<x)∧(20≤x<42) \\ \end{array} $$ % (c3q192 18 "20190920" "Subconjuntos de R2; fecho e interior") % (c3q192 19 "20190926" "Abertos e fechados; imagem inversa; Teorema de Weierstrass; triangulo e xy") % (c3q192 20 "20190927" "Mais imagem inversa e Teorema de Weierstrass") % (find-bortolossi4page) % (find-bortolossi4page (+ -120 121) "Cap 4") % (find-bortolossi4page (+ -120 121) "4.1. Porque contínuas são importantes") % (find-bortolossi4page (+ -120 123) "4.2. Continuidade em várias variáveis") % (find-bortolossi4page (+ -120 129) "4.3. Weierstrass em n variáveis") % (find-bortolossi4page (+ -120 139) "distância euclidiana") % (find-bortolossi4page (+ -120 142) "bola aberta") % (find-bortolossi4page (+ -120 142) "bola fechada") % (find-bortolossi4page (+ -120 143) "conjunto limitado") % (find-bortolossi4page (+ -120 143) "ponto de fronteira") % (find-bortolossi4page (+ -120 144) "fronteira de um conjunto") % (find-bortolossi4page (+ -120 145) "conjunto fechado") % (find-bortolossi4page (+ -120 146) "conjunto compacto") % (find-bortolossi4page (+ -120 147) "o teorema de Weierstrass") % (find-bortolossi4page (+ -120 148) "ponto interior") % (find-bortolossi4page (+ -120 148) "conjunto aberto") % (find-bortolossi4page (+ -120 151) "4.4. Exercícios") %\printbibliography \GenericWarning{Success:}{Success!!!} % Used by `M-x cv' \end{document} % ____ _ _ % | _ \(_)_ ___ _(_)_______ % | | | | \ \ / / | | | |_ / _ \ % | |_| | |\ V /| |_| | |/ / __/ % |____// | \_/ \__,_|_/___\___| % |__/ % % «djvuize» (to ".djvuize") % (find-LATEXgrep "grep --color -nH --null -e djvuize 2020-1*.tex") * (eepitch-shell) * (eepitch-kill) * (eepitch-shell) # (find-fline "~/2021.1-C3/") # (find-fline "~/LATEX/2021-1-C3/") # (find-fline "~/bin/djvuize") cd /tmp/ for i in *.jpg; do echo f $(basename $i .jpg); done f () { rm -v $1.pdf; textcleaner -f 50 -o 5 $1.jpg $1.png; djvuize $1.pdf; xpdf $1.pdf } f () { rm -v $1.pdf; textcleaner -f 50 -o 10 $1.jpg $1.png; djvuize $1.pdf; xpdf $1.pdf } f () { rm -v $1.pdf; textcleaner -f 50 -o 20 $1.jpg $1.png; djvuize $1.pdf; xpdf $1.pdf } f () { rm -fv $1.png $1.pdf; djvuize $1.pdf } f () { rm -fv $1.png $1.pdf; djvuize WHITEBOARDOPTS="-m 1.0 -f 15" $1.pdf; xpdf $1.pdf } f () { rm -fv $1.png $1.pdf; djvuize WHITEBOARDOPTS="-m 1.0 -f 30" $1.pdf; xpdf $1.pdf } f () { rm -fv $1.png $1.pdf; djvuize WHITEBOARDOPTS="-m 1.0 -f 45" $1.pdf; xpdf $1.pdf } f () { rm -fv $1.png $1.pdf; djvuize WHITEBOARDOPTS="-m 1.0 -f 70" $1.pdf; xpdf $1.pdf } f () { rm -fv $1.png $1.pdf; djvuize WHITEBOARDOPTS="-m 0.5" $1.pdf; xpdf $1.pdf } f () { rm -fv $1.png $1.pdf; djvuize WHITEBOARDOPTS="-m 0.25" $1.pdf; xpdf $1.pdf } f () { cp -fv $1.png $1.pdf ~/2021.1-C3/ cp -fv $1.pdf ~/LATEX/2021-1-C3/ cat <<%%% % (find-latexscan-links "C3" "$1") %%% } f 20210908_C_6 f 20210908_C_7 f 20210908_C_9 f 20201213_area_em_funcao_de_theta f 20201213_area_em_funcao_de_x f 20201213_area_fatias_pizza % __ __ _ % | \/ | __ _| | _____ % | |\/| |/ _` | |/ / _ \ % | | | | (_| | < __/ % |_| |_|\__,_|_|\_\___| % % <make> * (eepitch-shell) * (eepitch-kill) * (eepitch-shell) # (find-LATEXfile "2019planar-has-1.mk") make -f 2019.mk STEM=2021-1-C3-abertos-e-fechados veryclean make -f 2019.mk STEM=2021-1-C3-abertos-e-fechados pdf % Local Variables: % coding: utf-8-unix % ee-tla: "c3af" % ee-tla: "c3m211af" % End: