1: Introducción
- Page ID
- 114994
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Los enteros son los bloques de construcción de la teoría de los números. Este capítulo contiene observaciones algo muy simples y obvias comenzando con propiedades de enteros y sin embargo las pruebas detrás de esas observaciones no son tan simples. En este capítulo introducimos operaciones básicas sobre enteros y algunas definiciones algebraicas que serán necesarias para entender conceptos básicos en este libro. Luego introducimos el principio de ordenamiento de pozos que establece básicamente que cada conjunto de enteros positivos tiene un elemento más pequeño. La prueba por inducción también se presenta como un método eficiente para probar varios teoremas a lo largo del libro. Se procede a definir el concepto de divisibilidad y el algoritmo de división. A continuación, se introduce el concepto elemental pero fundamental de un mayor divisor común (gcd) de dos enteros, y el algoritmo euclidiano para encontrar el gcd de dos enteros. Terminamos este capítulo con Lema de Lame sobre una estimación del número de pasos en el algoritmo euclidiano necesarios para encontrar el gcd de dos enteros.
- 1.1: Operaciones algebraicas con números enteros
- Mientras que el conjunto de todos los enteros positivos, denotados por N, se define por N= {1,2,3,4,...}. En Z, hay dos operaciones binarias básicas, a saber, suma (denotada por +) y multiplicación (denotada por ⋅), que satisfacen algunas propiedades básicas de las que emerge cualquier otra propiedad para Z.
- 1.2: El principio de ordenación de pozos y la inducción matemática
- En esta sección, presentamos tres herramientas básicas que a menudo se utilizarán para probar las propiedades de los enteros. Comenzamos con una propiedad muy importante de enteros llamada principio de ordenamiento de pozos. Luego declaramos lo que se conoce como el principio del encasillamiento, y luego se procede a presentar un importante método llamado inducción matemática.
- 1.3: La divisibilidad y el algoritmo de división
- Ahora discutimos el concepto de divisibilidad y sus propiedades.
- 1.4: Representaciones de números enteros en diferentes bases
- En esta sección, mostramos cómo se puede escribir cualquier entero positivo en términos de cualquier expansión de enteros base positiva de una manera única. Normalmente usamos notación decimal para representar enteros, mostraremos cómo convertir un entero de notación decimal en cualquier otra notación de enteros base positiva y viceversa. Usar la notación decimal en la vida diaria es simplemente mejor porque tenemos diez dedos lo que facilita todas las operaciones matemáticas.
- 1.5: El mayor divisor común
- En esta sección definimos el mayor divisor común (gcd) de dos enteros y discutimos sus propiedades. También demostramos que el mayor divisor común de dos enteros es una combinación lineal de estos enteros.
- 1.6: El Algoritmo Euclidiana
- En esta sección describimos un método sistemático que determina el mayor divisor común de dos enteros. Este método se llama el algoritmo euclidiano.
- 1.7: Teorema de Lame
- En esta sección, damos una estimación del número de pasos necesarios para encontrar el mayor divisor común de dos enteros usando el algoritmo euclidiano. Para ello, tenemos que introducir los números de Fibonacci con el fin de probar un lema que dé una estimación sobre el crecimiento de los números de Fibonacci en la secuencia de Fibonacci. El lema que probemos será utilizado en la prueba del teorema de Lame.