Mostrar Mensajes

Esta sección te permite ver todos los posts escritos por este usuario. Ten en cuenta que sólo puedes ver los posts escritos en zonas a las que tienes acceso en este momento.

Temas - Marcos Castillo

Páginas: [1] 2 3 4 ... 29
1
Matemática de Escuelas / Conjunto vacío y teoría de conjuntos
« en: 10 Marzo, 2024, 10:06 pm »
Estimado Rincón, estoy leyendo "Introducción a la lógica y a las estructuras algebraicas", de Luis Tejero Escribano y Manuel Ruiz Domínguez. Es de la UNED. Bueno, el caso es que cito:


“Una proposición es un enunciado declarativo, es decir, en el que inequívocamente pueda aplicarse un criterio de verdad o falsedad

Una cláusula es una condición que contiene una o varias variables de forma que al ser sustituidas por valores o elementos de ciertos conjuntos, se convierte en una proposición.

(...)

el símbolo \( \emptyset \) (...) universalmente designa al conjunto vacío. ¿Pero, qué es el conjunto vacío? El axioma de especificación de la teoría de conjuntos nos resuelve el problema. 

En efecto, si consideramos la cláusula

\( s(x):x\,\neq{\,x} \)

con dicho axioma es posible formar el conjunto:

\( \{x\in{A,}\,x\neq{x}\} \)

a ese conjunto le llamaremos el conjunto vacío.
Sea pues

\( \emptyset\,=\,\{x\in{A,}\,x\neq{x}\} \)

Además, el axioma de extensión nos dice que es único. Es claro que el vacío no tiene elementos, por tanto ninguno de ellos puede pertenecer a A. Por tanto el vacío está contenido en A; este razonamiento no nos deja del todo satisfechos, ahora bien, si por el contrario el vacío no estuviera en A sería porque algún elemento del vacío no pertenecería a A. Pero esto va contra la hipótesis de definición de vacío, luego el vacío está contenido en cualquier conjunto.

1.5. Conjuntos de las partes o conjunto potencia

Decíamos que el signo de pertenencia \( \subset{} \) lo utilizábamos para designar que un elemento pertenecía a un conjunto sin prescindir de la posibilidad de que ese elemento fuera a su vez un conjunto.

o de otra forma

\( P(U)\,=\,\{Y\,|\,Y\subset{U}\} \)

Veamos algunos ejemplos aclaratorios:

Sea \( A=\emptyset \) entonces

\( P(A)\,=\,P(\emptyset)\,=\,\emptyset \)

obsérvese que \( \emptyset\neq{\{\emptyset\}} \)."


Axioma de extensionalidad descrito en Wikipedia

Axioma de extensionalidad

En teoría de conjuntos, el axioma de extensionalidad es  un axioma que establece que dos conjuntos son iguales si y sólo si tienen los mismos elementos

Enunciado

El enunciado del axioma establece que si dos conjuntos tienen los mismos elementos, entonces son idénticos:

\( \forall{\,A,B}\,:\;\forall{\,x},(x\in{A}\leftrightarrow{\,x\in{B}})\Rightarrow{\,A=B} \)

La afirmación recíproca -dos conjuntos iguales tienen los mismos elementos- es un teorema lógico. Un enunciado equivalente, utilizando la noción de subconjunto, es:

Dados dos conjuntos, \( A \) y \( B \), tales que a cada uno es subconjunto del otro, \( A\subseteq{B} \) y \( B\subseteq{A} \), entonces son iguales, \( A=B \).

El axioma de extensionalidad constituye la definición fundamental del concepto de conjunto como una colección abstracta de objetos. (...) asegura que los elementos \( x \) de un conjunto \( A \) son lo único que lo define, es decir, los objetos que están relacionados con él por la relación de pertenencia \( x\in{A} \).

[cerrar]

Esquema axiomático de especificación según Wikipedia

Esquema axiomático de especificación. Sea \( \theta{(v)} \) una fórmula del lenguaje de primer orden que contenga una variable libre \( v \). Entonces, para cualquier conjunto \( x \) existe un conjunto \( y \) cuyos elementos son aquellos elementos \( a \) de \( x \) que cumplen \( \theta{(a)} \).
Formalmente, \( \forall{\,X}\,\exists{\,Y}\,/\,(\,\forall{Z}\,:\,Z\in{Y}\leftrightarrow(\,\forall{a\in{Z}\rightarrow{\,a\in{X}})}) \)

[cerrar]

Dudas

El conjunto vacío tiene dos notaciones: \( \{\,\} \) y \( \emptyset \); pero no sé qué denota \( \{\emptyset\} \).

“el signo de pertenencia \( \subset{} \) lo utilizábamos para designar que un elemento pertenecía a un conjunto (…).” Aquí me pregunto: ¿estoy delante de un buen libro de texto? Una cosa es pertenencia, i.e. \( \in \), y otra inclusión.

¿Por qué en el enunciado de Wikipedia del axioma de especificación emplea a veces letras minúsculas para hablar de conjuntos?.

¡Un saludo!

2
Probabilidad / Probabilidad y Conjuntos
« en: 24 Febrero, 2024, 02:28 pm »
Hola, estimado Rincón

En un espacio de probabilidad \( (\Omega,\mathcal{F},P) \)...

Spoiler

En teoría de la probabilidad, un espacio de probabilidad o una tres-upla de probabilidad \( (\Omega,\mathcal{F},P) \) es un concepto que proporciona un modelo formal de un proceso aleatorio o "experimento". Por ejemplo, puede definirse un espacio de probabilidad que modele el lanzamiento de un dado. Un espacio de probabilidad consiste en tres elementos:

1- El espacio muestral, \( \Omega \), que es el conjunto de todos los posibles resultados;

2- Un espacio de eventos, que consiste en el conjunto de eventos, \( \mathcal{F} \), siendo un evento el conjunto de resultados en el espacio muestral;

3- Una función de probabilidad, \( P \), que asigna, a cada evento en el espacio de eventos, una probabilidad, que consiste en un número entre 0 y 1 (incluídos ambos)

[cerrar]


...la interpretación de los eventos como conjuntos nos permite hablar de la intersección y uniones de los eventos. Las intersecciones y uniones son útiles para asignar la probabilidad de dos eventos concurrentes y la probabilidad de al menos uno de los dos eventos:

\( A\cap{B}=\{\omega\in{\Omega}\,:\,\omega\in{A}\quad\text{y}\quad\omega\in{B}\} \)

y

\( A\cup{B}=\{\omega\in{\Omega}\,:\,\omega\in{A}\quad\text{o}\quad\omega\in{B}\} \)

Como \( A\cap{B},\, A\cup{B}\in{\mathcal{F}} \) para \( A,\,B\in{\mathcal{F}} \), podemos hablar de \( P(A\cap{B}) \) y de \( P(A\cup{B}) \). La unión de probabilidad puede relacionarse con la probabilidad de intersección como

\( P(A\cup{B})=P(A)+P(B)-P(A\cap{B}) \)

Esta igualdad es usada mucho para calcular \( P(A\cup{B}) \) cuando las otras tres probabilidades son conocidas. Una forma de llegar a la igualdad es considerar un resultado \( \omega\in{A\cap{B}} \) medido dos veces en \( P(A)+P(B) \). Para evitar este doble conteo, ponemos \( P(A\cap{B})=P(A)+P(B)-P(A\cup{B}) \)

La duda que tengo está relacionada con otro hilo,

https://foro.rinconmatematico.com/index.php?topic=126033.0

En el que se pregunta por la prueba de

1- \( A\cap{(A\cup{B})}=A \)

2- \( (A\cap{B})\cap{(A\cup{B})}=A\cap{B} \)

Entiendo la prueba expuesta en el hilo que acabo de poner, pero me he liado la manta: he querido saber qué había detrás del título que en un principio tenía, y ahora me hago las siguientes preguntas:

i) Si tengo una igualdad de conjuntos, como por ejemplo \( (A\cup{B})=A+B-(A\cap{B}) \), ¿puedo, como a primera vista parece, escribir \( P(A\cap{B})=P(A)+P(B)-P(A\cup{B}) \)? Siempre que tengo una igualdad de conjuntos, ¿tengo una igualdad probabilística con esos conjuntos?

ii) No consigo probar \( (A\cup{B})=A+B-(A\cap{B}) \) más que ingénuamente, con diagramas de Venn, o con ejemplos sencillos.

¡Un saludo!

3
Off-topic / Tiempo de Silencio
« en: 27 Enero, 2024, 05:33 am »
Hola, estimado Rincón

El título del hilo es el mismo de la única novela (creo) de Luis Martín-Santos, y me sirve de excusa para divagar un poco sobre mi periplo para buscar un paquete de tabaco en Bilbao, hace cosa de una hora (ahora son las 4:15 de la madrugada del 27 de enero de 2024). Voy a ceñirme a los hechos, y el objetivo de este hilo es terminar con una reflexión sobre ...No sé, lo que yo denomino el extravío de los tiempos presentes. Espero ser coherente y comunicar lo que de antemano confieso es absolutamente subjetivo.

Ha sido (conseguir una cajetilla de tabaco) una experiencia, aparte de rayana en lo imposible (he terminado entrando en una especie de discoteca trasnochada, que era la única abierta en la parte vieja de la ciudad), una vivencia, o mejor dicho, una, para mí y en mi vetusta perspectiva de las cosas (nací en 1965), experiencia chocante.

A lo que iba: he percibido una ciudad que en términología naútica, era una nave sin gobierno.

Ya veis que esto no es una redacción muy formal. Es flujo de conciencia; tal vez proyección de mí mismo en el entorno.

Pregunta: ¿es extravío lo que veo últimamente, o sólo una vivencia personal que traslado a mi entorno?.

¡Un saludo!

4
Hola, estimado Rincón

Quiero hacer los veinte o treinta elementos de la sucesión recursiva \( a_n \) definida por:

\( a_1=1 \)

para \( n\geq 2 \):   

\( a_n=\displaystyle\frac{1}{2}\cdot{\Big(a_{n-1}+\displaystyle\frac{2}{a_{n-1}}\Big)} \)

He encontrado LibreOffice 7.5 y lo he instalado. Pero he intentado, y no sé cómo hacerlo. En nternet no consigo encontrar una guía rápida; en realidad sólo deseo hacer esa suma.

¡Un saludo!

5
Hola, estimado Rincón

Para \( a\in{(-\infty,0)\cup{(0,\infty)}} \), \( x\in{\mathbb{R}} \)

\( \displaystyle\int{\cos{(ax)}}=\displaystyle\frac{1}{a}\sin{(ax)} \)

La integral es una sencilla sustitución \( u=ax,\quad{du=adx} \)

Duda:una notación para el dominio de la integral puede ser \( \mathbb{R}-\{0\} \). Sobre la siguiente tengo dudas, pero también la certeza de que para expresarla, LaTeX emplea un símbolo del entorno conjuntista: \( \mathbb{R}\setminus{0} \). ¿Ésta última es correcta?; es decir, \( \mathbb{R}-\{0\}\Leftrightarrow{\mathbb{R}\setminus{0}} \).

¡Un saludo!

6
Cálculo 1 variable / Regla de la potencia
« en: 03 Noviembre, 2023, 02:45 pm »
Hola, estimado Rincón

No consigo dar encaje a la Regla de la Potencia en el siguiente ejercicio resuelto:

Utilice integración por partes para calcular \( \displaystyle\int{\sin^{-1}}x\,dx \)

Sea \( U=\sin^{-1}x,\quad{dV=dx} \)
Entonces \( dU=dx/\sqrt{1-x^2}\quad{V=x} \)

\( =x\sin^{-1}x-\displaystyle\int{\displaystyle\frac{x}{\sqrt{1-x^2}}\,dx} \)

Sea \( u=1-x^2 \)
      \( du=-2x\,dx \)

\( =x\sin^{-1}x+\displaystyle\frac{1}{2}\displaystyle\int{u^{-1/2}\,du} \)
\( =x\sin^{-1}x+u^{1/2}+C==x\sin^{-1}x+\sqrt{1-x^2}+C \)

Regla de las Potencias
La derivada de \( x^n \) es \( nx^{(n-1)} \)
[cerrar]

Regla de las Potencias en integración
Si \( \displaystyle\int{x^n\,dx} \) es la función, su integral es \( \displaystyle\frac{x^{n+1}}{n+1}+C \)
[cerrar]

Estoy casi seguro de que es la Regla de las Potencias en integración, en este caso aplicada a \( \displaystyle\int{\displaystyle\frac{x}{\sqrt{1-x^2}}\,dx} \):

Citar
Sea \( u=1-x^2 \). Tenemos que \( \displaystyle\frac{du}{-2x}=dx \). Sustituímos ésto en la integral del párrafo anterior, y encontramos que es equivalente a

\( -\displaystyle\frac{1}{2}\displaystyle\int{u^{-1/2}\,du} \)

Empleando la regla de la potencia y sustituyendo en \( u=1-x^2 \), obtenemos el resultado.

Esta cita es lo que no entiendo.
Entiendo, en realidad, creo, todo el ejercicio del libro de texto, pero me gustaría también entender la cita.

Mi intento: la cita intenta hablar de la Regla de la Potencia en integración.

¡Un saludo!

7
Estimado Rincón

Primero cito el libro de texto, y luego la duda

La figura que adjunto presenta ejemplos de funciones exponenciales y funciones logarítmicas



Las funciones exponenciales típicas pasan todas ellas por el punto \( (0,1) \), ya que \( a^0=1 \) para todo \( a>0 \). Obsérvese que \( a^x>0 \) para todo real \( x \), y que

Si \( a>1 \), entonces \( \displaystyle\lim_{x \to{-}\infty}{a^x=0} \) y \( \displaystyle\lim_{x \to\infty}{a^x=\infty} \).
Si \( 0<a<1 \) entonces \( \displaystyle\lim_{x \to{-}\infty}{a^x=\infty} \) y \( \displaystyle\lim_{x \to\infty}{a^x=0} \)

La gráfica de \( y=a^x \) presenta una asíntota horizontal en el eje \( x \) si \( a\neq 1 \). Es asintótica por la izquierda (cuando \( x\rightarrow{-\infty} \) si \( a>1 \) y por la derecha (cuando \( x\rightarrow{\infty} \) si \( 0<a<1 \)

Logaritmos

La función \( f(x)=a^x \) es una función uno a uno siempre que \( a>0 \) y \( a\neq 1 \). por lo tanto \( f \) tiene inversa que denominaremos función logarítmica.

DEFINICIÓN 5

Si \( a>0 \) y \( a\neq 1 \), la función \( \log_a x \) denominada logaritmo en base \( a \) de \( x \), es la inversa de la función uno a uno \( a^x \):

\( y=\log_a x\quad\Leftrightarrow{\quad{x=a^y},}\quad{(a>0,\, a\neq{1})} \)

Y ahora la duda: ¿se puede hilar más fino en la descripción del comportamiento asintótico de \( y=a^x \), y decir que es asintótica por la izquierda  o por la derecha si \( a>0 \)?

Pienso que sí, porque la función exponencial \( y=a^x \) y la logarítmica \( y=\log_a x \) son simétricas respecto a la recta \( y=x \), y ambas funciones están definidas para \( a>0 \).

¡Un saludo!

8
Hola, estimado Rincón

Creo que no he dado señales de vida desde hace unos tres meses. Ahora, despejadas las tribulaciones, vuelvo con una pequeña embajada: todo este tiempo he avanzado poco en el libro de texto. Ya conocéis cómo trabajo, a dos bandadas (perdón, quería decir a dos bandas, pero el lapsus me parece que es majo).

Bueno, que he iniciado hace cosa de una semana un hilo en el foro Physics Forums, y no sé cómo resolver la duda que planteaba: ¿cómo se evalúa la integral de la función trigonométrica cosecante?; es decir. ¿cómo se razona el resultado final?

https://www.physicsforums.com/threads/integral-of-cosecant-function-understanding-different-approaches.1056106/#post-6939600

Este es el hilo. Personalmente creo que con un vistazo rápido, puede aparcarse.

Y eso, que en el libro de texto me he encontrado con esto:

\( \displaystyle\int{\csc{(x)}\,dx}=-\ln{|\csc{(x)}+\cot{(x)}|}+C=\ln{|\csc{(x)}-\cot{(x)}|}+C \)

Y la pregunta que hago es: ¿por qué la integral de cosecante arroja este resultado?; quiero decir, ¿podríais explicarme cómo se llega a ésa conclusión?

¡Un saludo afectuoso!

PD: El enlace, bajo mi punto de vista, y de forma reiterada, considero que, a pesar de ser muy interesante, es...Bueno, que lo que me interesa es deciros que saludos.

9
Cálculo 1 variable / Integral impropia
« en: 06 Junio, 2023, 10:48 am »
Hola, estimado Rincón

Tengo una cita y unas dudas. Ahí va:

Citar
Hay que tener cuidado con las integrales de la forma \( \int_{a}^{b}f(x)dx \), donde \( f  \) no es continua en todos los puntos del intevalo \( [a,b] \). El Teorema Fundamental no se aplica en esos casos.

EJEMPLO 6 Sabemos que \( \displaystyle\frac{d}{dx}\ln{|x|}=\displaystyle\frac{1}{x} \) si \( x\neq 0 \). Sin embargo, es incorrecto decir que

\( \displaystyle\int_{-1}^{1}\displaystyle\frac{dx}{x}=\ln{|x|}\Bigg  |_{-1}^{1}=0-0=0 \)

aun cuando \( 1/x \) sea una función impar. De hecho, \( 1/x \) es indefinida y no tiene límite en \( x=0 \), y no es integrable ni en \( [-1,0] \) ni en \( [0,1] \). Obsérvese que

\( \displaystyle\lim_{c \to{0+}}{\displaystyle\int_{c}^{1}}{\displaystyle\frac{1}{x}dx}=\displaystyle\lim_{c\to{0+}}{\displaystyle\int_{c}^{1}\displaystyle\frac{1}{x}dx}=\displaystyle\lim_{c\to{0+}}-\ln c=\infty \)

por lo que las dos regiones sombreadas de la Figura 5.25 tienen área infinita. Las integrales de este tipo se denominan integrales impropias


Dudas: ¿qué es \( c \)?; ¿qué es \( \displaystyle\lim_{c\to{0+}}{\displaystyle\int_{c}^{1}\displaystyle\frac{1}{x}dx}=\displaystyle\lim_{c\to{0+}}-\ln c=\infty \)?, quiero decir, es la primera vez que veo un límite que se acerca a 0 por la derecha, sí, pero, ¿a qué?; también veo que el límite de esta integral, tras la última igualdad, se desglosa en \( \displaystyle\lim_{c\to{0+}}-\ln c \). ¿Por qué?.

¡Un saludo!

PS. Tengo la sensación de que restar importancia al hecho de entender la cita sería lo mejor. Es la primera vez que me encuentro con el concepto de integral impropia. Wikipedia resulta, para mí, difícil.

He hecho el esfuerzo de entender la cita del libro de texto, pero nada.

Lo resaltado en azul es difícil. Vamos, pero que muy difícil.



10
Hola, estimado Rincón, quiero dar encaje a una cita, o...Bueno, no sé lo que es. Surge a raíz de este párrafo en el que estoy en estos momentos, de la sexta edición del libro de texto "Cálculo", de Robert A. Adams:

"Nótese que, aunque la integral definida es un número puro, un área es una magnitud geométrica que implícitamente requiere unidades. Si las unidades del eje \( x \) y del eje \( y \) son, por ejemplo, metros, el área debe expresarse en metros cuadrados (\( m^2 \)). Si no se especifican las unidades de longitud de los ejes \( x \) e \( y \), el área se expresará en unidades al cuadrado."

El párrafo en séptima edición inglesa es igual en esencia. La duda es cómo entender la glosa, mezcla de simbología matemática y vocablos con la que ahora me encuentro, para reflejar en otros términos y de manera exhaustiva el fondo de la cita. Ahí va (en inglés):

\( \displaystyle\int_{a}^{b} y\;dx=[y\cdot x]_{x=a}^{x=b}=(b-a)\cdot y=\underbrace{\displaystyle\int_{from\;[m]}^{to\;[m]}}_{\text{limits of width}}\underbrace{\;height\;[m]}_{=y}\cdot\underbrace{change\;in\;}_{=d}\underbrace{width\;[m]}_{=x}=area\;[m^2] \)

El objetivo de la cita es hacer el camino desde la integral definida hasta creo que el análisis dimensional, pero no lo entiendo. Han intentado explicármelo, pero primero está la barrera del idioma, y después que la explicación sobrestima mis conocimientos.

En concreto preguntaba si había una forma de hacer el camino de manera enteramente algebraica, pero la respuesta lo matizaba de una forma para mí muy intrincada. Entonces, duda: primero quisiera saber de una manera hablada el trecho que se hace desde la integral definida hasta el área; y después verlo de manera simbólica y comprensible para mí, a medio camino de un libro de análisis de nivel universitario.

¡Un saludo!

11
Cálculo 1 variable / Teorema Fundamental del Cálculo
« en: 20 Mayo, 2023, 03:33 pm »
Hola, estimado Rincón, vengo con el Teorema Fundamental del Cálculo. Decido publicar sin haber hecho ningún esfuerzo por resolver las dudas, que están destacadas en rojo.

Cito primero:

Citar
En esta sección demostraremos la relación que existe entre la integral definida presentada en la sección 5.3 y la integral indefinida (o primitiva general) presentada en la sección 2.10. Una consecuencia de esta relación es que aprenderemos a calcular integrales definidas de funciones cuyas primitivas seamos capaces de calcular.
En la sección 3.3 planteamos el problema de calcular una función cuya derivada fuera \( 1/x \). Resolvimos este problema definiendo la función deseada (\( \ln x \)) en función del área encerrada bajo la gráfica de \( y=1/x \). Esta idea motiva el siguiente teorema, y es un caso especial del mismo.

https://foro.rinconmatematico.com/index.php?topic=117373.msg470847#msg470847

Duda: no relaciono este hilo con esta demostración

TEOREMA 4 Teorema Fundamental del Cálculo

Supongamos que la función \( f \)es continua en un intervalo \( I \) que contiene al punto \( a \).

PARTE I. Sea la función \( F \) definida en \( I \):

\( F(x)=\displaystyle\int_{a}^{b}\;f(t)dt \)

Entonces \( F \) es diferenciable en \( I \), y \( F'(x)=f(x) \) en dicho intervalo. Por tanto, \( F \) es una primitiva de \( f \) en \( I \):

\( \displaystyle\frac{d}{dx}\displaystyle\int_{a}^{x}\;f(t)dt=f(x) \)

PARTE II. Si \( G(x) \) es cualquier primitiva de \( f(x) \) en \( I \), de forma que \( G'(x)=f(x) \) en \( I \), entonces para todo \( b \) en \( I \) se cumple

\( \displaystyle\int_{a}^{b}\;f(x)dx=G(b)-G(a) \)

DEMOSTRACIÓN Utilizando la definición de derivada, podemos calcular

\( F'(x)=\displaystyle\lim_{h \to{0}}{\displaystyle\frac{F(x+h)-F(x)}{h}} \)

\( \quad \displaystyle\lim_{h \to{0}}{\displaystyle\frac{1}{h}\left({\displaystyle\int_{a}^{x+h}\;f(t)dt-\displaystyle\int_{a}^{x}\;f(t)dt}\right)} \)

\( \quad \displaystyle\lim_{h \to{0}}{\displaystyle\frac{1}{h}\displaystyle\int_{x}^{x+h}\;f(t)dt} \) por el Teorema 3(d)

Teorema 3(d)

Una integral depende aditivamente del intervalo de integración.

\( \displaystyle\int_{a}^{b}\;f(x)dx+\displaystyle\int_{b}^{c}\;f(x)dx=\displaystyle\int_{a}^{c}\;f(x)dx \)

[cerrar]

\( \displaystyle\lim_{h \to{0}}{\displaystyle\frac{1}{h}hf(c)} \) para alguna \( c=c(h) \) (que depende de \( h \)) entre \( x \) y \( x+h \) (Teorema 4, Teorema del Valor Medio para integrales)

\( \quad \displaystyle\lim_{c \to{x}}{f(c)} \) ya que \( c\rightarrow{x} \) cuando \( h\rightarrow{0} \)

\( \quad f(x) \)  ya que \( f \) es continua.

Además, si \( G'(x)=f(x) \), entonces \( F(x)=G(x)+C \) en \( I \) para alguna constante \( C \) (por el Teorema 13 de la sección 2.6).

Teorema 13, sección 2.6

Si una función es constante en un intervalo, entonces su derivada será cero en dicho intervalo. El Teorema del Valor Medio nos permite demostrar la afirmación recíproca

TEOREMA 13 Sea \( f \) una función continua en un intervalo \( I \), y sea \( f'(x)=0 \) en todo punto del interior de \( I \) (es decir, en todo punto de \( I \) excepto en sus extremos. Entonces \( f(x)=C \), una constante, en \( I \).

DEMOSTRACIÓN Sea un punto \( x_0 \) de \( I \) y sea \( C=f(x_0) \). Si \( x \) es otro punto de \( I \), entonces el Teorema del Valor Medio dice que debe existir un punto \( c \) entre \( x_0 \) y \( x \) tal que

\( \displaystyle\frac{f(x)-f(x_0)}{x-x_0}=f(c) \)

El punto \( c \) debe pertenecer a \( I \) porque el intervalo contiene a todos los puntos entre los dos citados, y \( c \) no puede ser un extremo de \( I \) ya que \( c\neq x_0 \) y \( c\neq x \). Como \( f'(c)=0 \) para todos esos puntos \( c \), tenemos que \( f(x)-f(x_0)=0 \) para todo \( x \) en \( I \), y \( f(x)=f(x_0)=C \), como queríamos demostrar.

[cerrar]

Entonces,

\( \displaystyle\int_{a}^{x}\;f(t)dt=G(x)+C \)

Sea \( x=a \) y obténgase \( 0=G(a)+C \) mediante el Teorema 3(a), de forma que \( C=-G(a) \). Hagamos ahora \( x=b \) para obtener

Duda: ¿Podríais explicarme este paso?

Teorema 3(a)

Cualquier integral sobre un intervalo de longitud cero es cero.

\( \displaystyle\int_{a}^{a}\;f(x)dx=0 \)

[cerrar]

\( \displaystyle\int_{a}^{b}\;f(t)dt=G(b)+C=G(b)-G(a) \)

Por supuesto, se puede sustituir \( t \) por \( x \) (o cualquier otra variable) como variable de integración en el miembro izquierdo.

¡Un saludo!

12
Hola, estimado Rincón, tengo una cita y una duda. Cito primero:

Citar

Un Teorema del Valor Medio para integrales

Sea \( f \) una función continua en el intervalo \( [a,b] \). Entonces \( f \) alcanza u valor mínimo \( m \) y un valor máximo \( M \) en dicho intervalo, por ejemplo en los puntos \( x=l \) y \( x=u \), respectivamente:

\( m=f(l)\leq f(x) \leq f(u)=M \) para todo \( x \) en \( [a,b] \)

Para el caso de la partición \( P \) de 2 puntos del intervalo \( [a,b] \) con \( x_0=a \) y \( x_1=b \), tenemos que

\( m(b-a)=L(f,P)\leq\displaystyle\int_{a}^{b} f(x)dx\leq U(f,P)=M(b-a) \)

Por tanto,

\( f(l)=m\leq\displaystyle\frac{1}{b-a}\displaystyle\int_{a}^{b} f(x)dx\leq M=f(u) \)

Por el Teorema del Valor Medio, \( f(x) \) debe tomar todos los valores entre \( f(l) \) y \( f(u) \) en algún punto entre \( l \) y \( u \) tal que

\( f(c)=\displaystyle\frac{1}{b-a}\displaystyle\int_{a}^{b} f(x)dx \)

Es decir, \( \int_a^b f(x)dx \) es igual al área \( (b-a)f(c) \) de un rectángulo cuya anchura de la base es \( b-a \) y su altura es \( f(c) \) para algún valor \( c \) entre \( a \) y \( b \). Éste es el Teorema del Valor Medio para integrales.

TEOREMA 4 El Teorema del Valor Medio para integrales

Si \( f \) es una función continua en el intervalo \( [a,b] \), entonces existe un punto \( c \) en \( [a,b] \) tal que

\( \displaystyle\int_{a}^{b} f(x)dx=(b-a)f(c) \)

Obsérvese en la Figura 5.19 que el área por debajo de la curva \( y=f(x) \) y por encima de la recta \( y=f(c) \) es igual al área por encima de \( y=f(x) \) y por debajo de \( y=f(c) \). En este sentido, \( f(c) \) es el valor medio de la función \( f(x) \) en el intervalo \( [a,b] \).



Figura 5.19 La mitad del área entre \( y=f(x) \) y la línea horizontal \( y=f(c) \) está por debajo de dicha línea, y la otra mitad está por encima de dicha línea.

Teorema del Valor Intermedio

Sea \( f(x) \) una función continua en el intervalo cerrado y finito \( [a,b] \) y sea \( s \) un número comprendido entre \( f(a) \) y \( f(b) \). Existe un número \( c \) perteneciente al intervalo \( [a,b] \) tal que \( f(c)=s \).

[cerrar]

Teorema del Valor Medio

Sea \( F \) una función continua en el intervalo cerrado finito \( [a,b] \) y diferenciable en el intervalo abierto \( (a,b) \). Existe un punto \( c \) en el intervalo abierto \( (a,b) \) tal que

\( \displaystyle\frac{f(b)-f(a)}{b-a}=f'(c) \)

Esto indica que la pendiente de la cuerda que une los puntos \( (a,f(a)) \) y \( (b,f(b)) \) es igual a la pendiente de la recta tangente a la curva \( y=f(x) \) en el punto \( (c,f(c)) \), por lo que las dos rectas son paralelas.

[cerrar]


Escribir el mensaje me ha dado tiempo de pasar a mi intento. La pregunta era la del título; son ambas cosas, porque la Figura 5.19 y la observación "el área por debajo de la curva \( y=f(x) \) y por encima de la recta \( y=f(c) \) es igual al área por encima de \( y=f(x) \) y por debajo de \( y=f(c) \). En este sentido, \( f(c) \) es el valor medio de la función \( f(x) \) en el intervalo \( [a,b] \)", me hacen pensar que en punto \( c \) ocurren los dos teoremas.

¡Un saludo!

13
Off-topic / Mi libro de matemáticas y las novelas por entregas
« en: 04 Mayo, 2023, 02:16 am »
Hola, estimado Rincón

Quería compartir con el foro mi impresión de que

1- El libro de Cálculo que manejo es bueno

2- No es todo lo bueno que me gustaría

¿Por qué? Cito

Citar

Sumas de Riemann generales

Sea \( P=\{x_0,x_1,x_2 ...,x_n\} \), con \( a=x_0<x_1<x_2<\cdots<x_n=b \) una partición del intervalo \( [a,b] \) con norma \( ||P||=\mbox{máx}_{1\leq i\leq n}\Delta x_i \). En cada subintervalo \( [x_{i-1},x_i] \) de \( P \) seleccionamos un punto \( c_i \) (denominado etiqueta). Sea \( c=(c_1,c_2, ...,c_n) \) el conjunto de esas etiquetas. La suma

\( R(f,P,c)=\displaystyle\sum_{i=1}^n{f(c_i)\Delta x_i} \)=(...)
se denomina suma de Riemann de \( f \) en el intervalo \( [a,b] \). Nótese que (...) \( R(f,P,c) \) es una suma de áreas con signo de rectángulos comprendidos entre el eje \( x \) y la curva \( y=f(x) \). Para cualquier selección de etiquetas \( c \), la suma de Riemann \( R(f,P,c) \) cumple

\( L(f,P)\leq R(f,P,c)\leq U(f,P) \)


Y digo que no es todo lo bueno que yo quisiera porque llama etiquetas a la altura de cada partición. Y no me gusta, porque las llama etiquetas, que es un término con muchas entradas en la RAE

https://dle.rae.es/etiqueta

de las cuales la que mejor encaja es "calificación estereotipada y clarificadora".

Conclusión:

Un libro de matemáticas no puede ser como una novela (planteamiento, nudo y desenlace), porque son muchas las líneas argumentativas; pero... ¿etiqueta?¿así, sin decir su significado en este contexto, que escapa incluso del listado de la Real Academia de la Lengua?.

¡Un saludo!

14
Hola estimado Rincón

Tengo unas dudas respecto a una cita. Cito primero:

Citar
Ejemplo 2 Calcule las sumas de Riemann inferior y superior de la función \( f(x)=x^2 \) en el intervalo \( [0,a] \) (siendo \( a>0 \)), correspondientes a la partición \( P_n \) de \( [0,a] \) en \( n \) subintervalos de la misma longitud.

Solución Cada subintervalo de \( P_n \) tiene una longitud de \( \Delta x=a/n \), y los puntos de división son \( x_i=ia/n \) para \( i=0, 1, 2,...,n \). Como \( x^2 \) es creciente en \( [0,a] \), sus valores mínimo y máximo en el subintervalo \( i \)-ésimo \( [x_{i-1},x_i] \) se producen en \( l_i=x_{i-1} \) y \( u_i=x_i \), respectivamente. Por tanto, la suma de Riemann inferior de \( f \) para la partición \( P_n \) es

\( L(f,P_n)=\displaystyle\sum_{i=1}^n{(x_{i-1})^2}\Delta x=\displaystyle\frac{a^3}{n^3}\displaystyle\color{red}\sum_{i=1}^n{(i-1)^2} \)

\( =\displaystyle\frac{a^3}{n^3}\color{blue}\displaystyle\sum_{j=0}^{n-1}{j^2}\color{black}=\displaystyle\frac{a^3}{n^3}\displaystyle\frac{(n-1)n(2(n-1)+1)}{6}=\displaystyle\frac{(n-1)(2n-1)a^3}{6n^2} \)

donde hemos utilizado el Teorema 1(c) de la sección 5.1 para calcular la suma de los cuadrados.

Teorema 1(c), Sección 5.1

\( \displaystyle\sum_{i=1}^n{i^2}=1^2+2^2+3^2+\cdots +n^2=\displaystyle\frac{n(n+1)(2n+1)}{6} \)

[cerrar]

De forma similar, la suma de Riemann superior es

\( U(f,P_n)=\displaystyle\sum_{i=1}^n{(x_i)^2\Delta x} \)

\( =\displaystyle\frac{a^3}{n^3}\displaystyle\sum_{i=1}^n{i^2}=\displaystyle\frac{a^3}{n^3}\displaystyle\frac{(n-1)n(2(n-1)+1}{6}=\displaystyle\frac{(n-1)(2n-1)a^3}{6n^2} \)


Área del monomio cuadrático

Calcule el área \( A \) de la región limitada por la parábola \( y=x^2 \) y las rectas \( y=0 \), \( x=0 \) y \( x=b \), siendo \( b>0 \)

Solución El área \( A \) de la región es el límite de la suma \( S_n \) de las áreas de los rectángulos que se muestran en la Figura 5.7(b). De nuevo se han utilizado subintervalos de la misma longitud, cada uno de ellos de longitud \( b/n \). La altura del \( i \)-ésimo rectángulo es \( (ib/n)^2 \). Por tanto,

\( S_n=\displaystyle\sum_{i=1}^n{\left({\displaystyle\frac{ib}{n}}\right)^2\displaystyle\frac{b}{n}}=\displaystyle\frac{b^3}{n^3}\displaystyle\sum_{i=1}^n{i^2}=\displaystyle\frac{b^3}{n^3}\displaystyle\frac{n(n+1)(2n+1)}{6} \)

por la fórmula (c) del Teorema 1. Entonces, el área pedida es

\( A=\displaystyle\lim_{n \to\infty}{S_n}=\displaystyle\lim_{n \to\infty}{b^3}\displaystyle\frac{(n+1)(2n+1)}{6n^2}\displaystyle\frac{b^3}{3} \) unidades al cuadrado



(Figura 5.7(b))

[cerrar]



Pregunta: ¿cómo surge la expresión coloreada en rojo, y cómo iguala a lo que pongo en azul?. Mi esfuerzo ha consistido en entenderlo para el cálculo del área de \( y=x^2 \) que pongo en un spoiler.

¡Un saludo!

15
Hola, estimado Rincón

Evidentemente, \( \sqrt{x^2}=\pm{x} \), pero no sé probarlo. ¿Puede ser a través de la fórmula para solucionar polinomios cuadráticos?. Me temo que no.

Spoiler
\( f(x)=ax^2+bx+c \)

\( x=\displaystyle\frac{-b\pm{\sqrt{b^2-4ac}}}{2a} \)
[cerrar]

¡Un saludo!


16
Matemática de Escuelas / ¿El 0 es una potencia par?
« en: 29 Marzo, 2023, 11:27 am »
Hola, estimado Rincón

Estoy en un punto del libro donde me encontraré con el Teorema Fundamental del Cálculo. Pero aún no he empezado a leerlo. Me trae una cuestión diferente. En el capítulo preliminar del libro de texto, casi empezando el libro, introduce las funciones pares e impares. Cito:

Citar
Los nombres par e impar proceden del hecho de que las potencias pares como \( x^0=1 \), \( x^2 \), \( x^4 \), ..., \( x^{-2} \), \( x^{-4} \), ...son funciones pares, y las potencias impares como \( x^1=x \), \( x^3 \), ...\( x^{-1} \), \( x^{-3} \), ...son funciones impares.

La lectura que hago es que llama potencia par al cero. La pregunta es: ¿el cero es una potencia par?; o mejor formulada la pregunta: ¿por qué llama par al número cero?.

¡Un saludo!

17
Hola, estimado Rincón

Intuitivamente es inmediato, pero voy primero a exponer cómo surge:

(f)Desigualdad del triángulo para integrales definidas. Si \( a\leq{b} \), entonces

\( \left |{\displaystyle\int_{a}^{b}f(x)dx}\right |\leq{\displaystyle\int_{a}^{b}|f(x)|dx} \)

Todas estas propiedades se pueden deducir partiendo de la definición de integral definida. La mayoría de ellas son intuitivamente razonables si consideramos las integrales como áreas (...)

La propiedad (f) es una generalización de la desigualdad del triángulo para números:

\( |x+y|\leq{|x|+|y|} \),   o, de forma más general,  \( \left |{\displaystyle\sum_{i=1}^n{x_i}}\right |\leq{\displaystyle\sum_{i=1}^n{|x_i|}} \)

Se deduce de la propiedad (e) (suponiendo que \( |f| \) es integrable en el intervalo \( [a,b] \)), ya que \( -|f(x)|\leq{f(x)}\leq{|f(x)|} \)

propiedad (e)

Si \( a\leq{b} \) y \( f(x)\leq{g(x)} \) para \( a\leq{x}\leq{b} \), entonces

\( \displaystyle\int_{a}^{b}f(x)dx\leq{\displaystyle\int_{a}^{b}g(x)dx} \)

[cerrar]

Es \( -|f(x)|\leq{f(x)}\leq{|f(x)|} \) lo que quiero probar. Ahí va:

\( \forall{a,b}\in{\mathbb{R}} \), tal que \( a\leq{x}\leq{b} \)

\( -|f(x)|\leq{f(x)}\leq{|f(x)|}\Leftrightarrow{f(x)\leq{|f(x)|}} \)

Duda:¿es correcta la equivalencia?; ¿es algo susceptibe de prueba, o sólo hay que saber bien sobre desigualdades y valores absolutos?

¡Un saludo!

18
Hola, estimado Rincón

El ejemplo es este:

Ejemplo 4 Exprese el límite \( \displaystyle\lim_{n \to\infty}{\displaystyle\sum_{i=1}^n{\displaystyle\frac{2}{n}\left({1+\displaystyle\frac{2i-1}{n}}\right)^{1/3}}} \) como una integral definida.

Solución Deseamos interpretar la suma como una suma de Riemann para \( f(x)=(1+x)^{1/3} \). El factor \( 2/n \) sugiere que el intervalo de integración es \( 2 \) y está dividido en \( n \) subintervalos iguales, cada uno de ellos de longitud \( 2/n \). Sea \( c_i=(2i-1)/n \) para \( i=1,2,3,...,n \). Cuando \( n\to\infty \), \( c_1=1/n\to 0 \) y \( c_n=(2n-1)/n\to 2 \). Por tanto, el intervalo es \( [0,2] \) y los puntos de la partición son \( x_i=2i/n \). Obsérvese que \( x_{i-1}=(2i-2)/n<c_i<2i/n=x_i \) para todo \( i \), de forma que la suma es en realidad una suma de Riemann para \( f(x) \) en el intervalo \( [0,2] \). Como \( f \) es continua en ese intervalo, es integrable en él, y

\( \displaystyle\lim_{n \to\infty}{\displaystyle\sum_{i=1}^n{\displaystyle\frac{2}{n}\left({1+\displaystyle\frac{2i-1}{n}}\right)^{1/3}}}=\displaystyle\int_{a}^{b}(1+x)^{1/3}dx \)

¿Por qué si tengo una etiqueta por partición estoy hablando de suma de Riemann para el sumatorio del enunciado?

Mi intento: la clave está en el subíndexado del sumatorio, que es idéntico al del etiquetado por partición: \( P=\{x_i\}=\{x_0,x_1,x_2,\cdots,x_n\} \), y \( c=(c_i)=(c_1,c_2,c_3,\cdots,c_n) \).

¡Un saludo!

19
Cálculo 1 variable / Integral de Darboux
« en: 18 Febrero, 2023, 11:17 am »
Hola, estimado Rincón, a ver primero si consigo haceros reir; este hilo me sugiere esta tira de Manolito:



La integral de Darboux se define en términos de sumas de los siguientes tipos

\( L(f,P)=\displaystyle\sum_{i=1}^n{m_i (x_i-x_{i-1})} \), \( U(f,P)=\displaystyle\sum_{i=1}^n{M_i (x_i-x_{i-1})} \), llamadas suma inferior y superior respectivamente, donde,

\( M_i=\sup\{{f(x)|x\in{[x_{i-1},x_i]}}\} \), \( m_i=\inf\{{f(x)|x\in{[x_{i-1},x_i]}}\} \)

son las alturas de los rectángulos, y \( (x_i-x_{i-1}) \) la longitud de la base de los rectángulos.

La integral de Darboux está definida como el único número acotado entre las sumas inferior y superior, es decir,

\( L(f,P)\leq{\displaystyle\int_{a}^{b}f}\leq{U(f,P)} \)

1ª Pregunta:¿còmo se llega a la anterior afirmación?¿por qué el único número?

Cita de:  Wikipedia, Integral de Darboux
...(queremos hacer coincidir estas sumas haciendo cada vez más divisiones del intervalo hasta tender a un límite

Sigo citando Wikipedia:

Integrabilidad de Darboux

Sea \( f \) una función acotada en \( [a,b] \). Se denotará por \( \mathcal{P}([a,b]) \) al conjunto de todas las particiones de \( [a,b] \). Siempre se pueden definir las siguientes:

La integral inferior de Darboux de \( f \) en \( [a,b] \) es

\( L(f)=\sup{\{L(f,P)|P\in{\mathcal{P}{([a,b])}}\}} \)

La integral superior de Darboux de \( f \) en \( [a,b] \) es

\( U(f)=\inf{\{U(f,P)|P\in{\mathcal{P}{([a,b])}}\}} \)

Así, la integral inferior es la cota superior más pequeña para las sumas inferiores y la integral superior es la cota inferior más grande para las sumas superiores.

Cuando ocurre que \( L(f,P)=U(f,P)  \) decimos que \( f \) es Darboux integrable sobre \( [a,b] \)

Propiedades

Criterio de integrabilidad de Riemann

Una función \( f \) es Darboux integrable sobre \( [a,b] \) si y solamente si para todo \( \epsilon>0 \) existe una partición \( P_{\epsilon} \) de \( [a,b] \) tal que

\( U(f,P_{\epsilon})-L(f,P_{\epsilon})<\epsilon \):

2ª duda: Por una parte se llega a la integral cuando \( U(f,P)=L(f,P) \); por otra parte el critrerio \( \epsilon \) precisa \( U(f,P_{\epsilon})-L(f,P_{\epsilon})<\epsilon \). ¿Cuál es la diferencia?. (Ojo: no persigo una demostración formal del criterio \( \epsilon \))


Equivalencia con la Integral de Riemann

Una función \( f \) es Darboux integrable sobre \( [a,b] \) si y solamente si es Riemann Integrable sobre \( [a,b] \); y en tal caso coinciden.

20
Cálculo 1 variable / El problema básico del área
« en: 28 Enero, 2023, 03:13 pm »
Hola, Rincón

Tengo una cita bastante grande y una duda. Ahí va la cita primero:

Citar
El problema básico del área

En esta sección vamos a considerar la forma de calcular el área de una región \( R \) que está por debajo de la gráfica de \( y=f(x) \), una función \( f \) continua con valores no negativos, por encima del eje \( x \) y entre las rectas verticales \( x=a \) y \( x=b \), con \( a<b \) (véase la Figura 5.4). Para ello, procederemos como sigue. Se divide el intervalo \( [a,b] \) en \( n \) subintervalos utilizando los puntos de división:

\( a=x_0<x_1<x_2<x_3<\cdots<x_{n-1}<x_n=b \)

Figura 5.4 El problema básico del área: calcular el área de la región \( R \) (No la subo: es la típica curva en el primer cuadrante y su área \( S \) entre \( [a,b] \))

Denominamos \( \Delta x_i \) a la longitud del i-ésimo subintervalo \( [x_{i-1},x_i] \):

\( \Delta x_i=x_i-x_{i-1}          (i=1,2,3,...,n) \)

Construiremos un rectángulo vertical sobre cada subintervalo \( [x_{i-1},x_i] \) cuya base será de longitud \( \Delta x_i \) y cuya altura será \( f(x_i) \). El área de este rectángulo es \( f(x_i)\Delta x_i \). Formamos la suma de estas áreas:

\( S_n=f(x_1)\Delta x_1+f(x_2)\Delta x_2+f(x_3)\Delta x_3+\cdots+f(x_n)\Delta x_n=\displaystyle\sum_{i=1}^n{f(x_i)\Delta x_i} \)

En la Figura 5.5 se muestran estos rectángulos sombreados para una función decreciente \( f \) en vez de por debajo. Evidentemente, \( S_n \) es una aproximación al área de la región \( R \), y dicha aproximación mejora cuando \( n \) crece, suponiendo que los puntos \( a=x_0<x_1<\cdots<x_n=b \) se escogen de forma que la anchura \( \Delta x_i \) del rectángulo más ancho tiende a cero.

Por ejemplo, obsérvese en la Figura 5.6 que subdividir un intervalo en dos pequeños subintervalos disminuye el error de aproximación, al reducirse la parte del área bajo la curva que no está contenida en los rectángulos. Por lo tanto, es razonable calcular el área de \( R \) calculando el límite de \( S_n \) cuando \( n\to\infty \), con la restricción de que la máxima anchura de los subintervalos \( \Delta x_i \) debe tender a cero:

\( \displaystyle \acute{A}\text{rea de } R= \underset{\max \Delta x_i \to 0}{\lim_{n \to \infty}} S_n \)



Figura 5.5 Aproximación del área bajo la gráfica de una función decreciente utilizando rectángulos.



Figura 5.6 Al utilizar más rectángulos disminuye el error

Algunas veces, pero no siempre, es útil escoger los puntos \( x_i(0\leq i\leq n) \) en \( [a,b] \) de forma que las longitudes de los subintervalos sean todos iguales. En ese caso tenemos

\( \Delta x_i=\Delta x=\displaystyle\frac{b-a}{n} \)       \( x_i=a+i\Delta x=a+\displaystyle\frac{i}{n}(b-a) \)

Pregunta:

Las dos frases subrayadas, que creo que se resumen en una duda: ¿a qué se refiere "con la restricción de que la máxima anchura de los subintervalos \( \Delta x_i \) debe tender a cero"? Está haciendo referencia implícita a la unión de todos los intervalos?

¡Un saludo!

Páginas: [1] 2 3 4 ... 29