À propos d’un lemme de Tadeusz Ważewski

Tiberiu Popoviciu
article, html, pdf, travails

Abstrait

Traduction en anglais du titre

Regarding a lemma of Tadeusz Ważewski

Auteur(s)

Tiberiu Popoviciu
Institutul de Calcul

Mots-clés

PDF

1974 a -Popoviciu- Ann. Polon. Math. – A propos d’un lemme de Tadeusz Wazewski – scan ICTP

Pour citer ce travail

T. Popoviciu, À propos d’un lemme de Tadeusz Ważewski, Collection of articles dedicated to the memory of Tadeusz Wazewski, Ann. Polon. Math., 29 (1974) no. 1, pp. 307-308 (in French). [MR0346099 (49 #10825), Zbl 0285.26009].

Sur ce travail

Journal
Publié par
DOI

Non disponible.

Print ISSN

Non disponible.

Online ISSN

Non disponible.

HTML forme du travail (preprint)

1974 in -Popoviciu- Ann. Poland. Math. - About a motto by Tadeusz Wazewski - scan ICTP (1) html,body { width: 100%; height: 100%; } *, *::before,*::after { box-sizing: border-box; } body { margin: 0; color: #1E2029; font-size: 14px; line-height: normal; } hr { box-sizing: content-box; height: 0; overflow: visible; } h1, h2, h3, h4, h5, h6 { margin-top: 0; margin-bottom: 0.5em; color: rgba(0, 0, 0, 0.85); font-weight: 500; } p { margin-top: 0; margin-bottom: 1em; } ol, ul, dl { margin-top: 0; margin-bottom: 1em; } ol ol, ul ul, ol ul, ul ol { margin-bottom: 0; } dt { font-weight: 500; } dd { margin-bottom: 0.5em; margin-left: 0; } blockquote { margin: 0 0 1em; } dfn { font-style: italic; } b, strong { font-weight: bolder; } small { font-size: 80%; } sub, sup { position: relative; font-size: 75%; line-height: 0; vertical-align: baseline; } sub { bottom: -0.25em; } sup { top: -0.5em; } a { color: #0B93ff; text-decoration: none; background-color: transparent; outline: none; cursor: pointer; transition: color 0.3s; } a:hover { color: #33aaff; } a:active { color: #0070d9; } a:active, a:hover { text-decoration: none; outline: 0; } a[disabled] { color: rgba(0, 0, 0, 0.25); cursor: not-allowed; pointer-events: none; } pre, code, kbd, samp { font-size: 1em; } pre { margin-top: 0; margin-bottom: 1em; overflow: auto; } figure { margin: 0 0 1em; } img { vertical-align: middle; border-style: none; } svg:not(:root) { overflow: hidden; } table { border-collapse: collapse; } caption { padding-top: 0.75em; padding-bottom: 0.3em; color: rgba(0, 0, 0, 0.45); text-align: left; caption-side: bottom; } th { text-align: inherit; } mjx-container[jax="SVG"] { direction: ltr; } mjx-container[jax="SVG"] > svg { overflow: visible; min-height: 1px; min-width: 1px; } mjx-container[jax="SVG"] > svg a { fill: blue; stroke: blue; } mjx-assistive-mml { position: absolute !important; top: 0px; left: 0px; clip: rect(1px, 1px, 1px, 1px); padding: 1px 0px 0px 0px !important; border: 0px !important; display: block !important; width: auto !important; overflow: hidden !important; -webkit-touch-callout: none; -webkit-user-select: none; -khtml-user-select: none; -moz-user-select: none; -ms-user-select: none; user-select: none; } mjx-assistive-mml[display="block"] { width: 100% !important; } mjx-container[jax="SVG"][display="true"] { display: block; text-align: center; margin: 1em 0; } mjx-container[jax="SVG"][display="true"][width="full"] { display: flex; } mjx-container[jax="SVG"][justify="left"] { text-align: left; } mjx-container[jax="SVG"][justify="right"] { text-align: right; } g[data-mml-node="merror"] > g { fill: red; stroke: red; } g[data-mml-node="merror"] > rect[data-background] { fill: yellow; stroke: none; } g[data-mml-node="mtable"] > line[data-line], svg[data-table] > g > line[data-line] { stroke-width: 70px; fill: none; } g[data-mml-node="mtable"] > rect[data-frame], svg[data-table] > g > rect[data-frame] { stroke-width: 70px; fill: none; } g[data-mml-node="mtable"] > .mjx-dashed, svg[data-table] > g > .mjx-dashed { stroke-dasharray: 140; } g[data-mml-node="mtable"] > .mjx-dotted, svg[data-table] > g > .mjx-dotted { stroke-linecap: round; stroke-dasharray: 0,140; } g[data-mml-node="mtable"] > g > svg { overflow: visible; } [jax="SVG"] mjx-tool { display: inline-block; position: relative; width: 0; height: 0; } [jax="SVG"] mjx-tool > mjx-tip { position: absolute; top: 0; left: 0; } mjx-tool > mjx-tip { display: inline-block; padding: .2em; border: 1px solid #888; font-size: 70%; background-color: #F8F8F8; color: black; box-shadow: 2px 2px 5px #AAAAAA; } g[data-mml-node="maction"][data-toggle] { cursor: pointer; } mjx-status { display: block; position: fixed; left: 1em; bottom: 1em; min-width: 25%; padding: .2em .4em; border: 1px solid #888; font-size: 90%; background-color: #F8F8F8; color: black; } foreignObject[data-mjx-xml] { font-family: initial; line-height: normal; overflow: visible; } mjx-container[jax="SVG"] path[data-c], mjx-container[jax="SVG"] use[data-c] { stroke-width: 3; } #setText > div { justify-content: inherit; margin-top: 0; margin-bottom: 1em; } #setText div:last-child { margin-bottom: 0 !important; } #setText > br, #preview-content br { line-height: 1.2; } #preview-content > div { margin-top: 0; margin-bottom: 1em; } .proof > div, .theorem > div { margin-top: 1rem; } #preview-content table { margin-bottom: 1em; } #setText table { margin-bottom: 1em; } #preview-content .sub-table table, #setText .sub-table table { margin-bottom: 0; } mjx-container { text-indent: 0; overflow-y: hidden; overflow-x: auto; padding-top: 1px; padding-bottom: 1px; } .math-inline mjx-container { display: inline-block !important; page-break-inside: avoid; max-width: 100%; padding: 0; line-height: 0; } .math-inline[data-overflow="visible"] mjx-container { overflow: visible; } .math-inline mjx-container mjx-assistive-mml { max-width: 100%; } .math-block { align-items: center; page-break-after: auto; page-break-inside: avoid; margin: 0; display: block; /* mjx-container has block */ } .math-inline { display: inline-flex; /* mjx-container has inline-block. To prevent displacement during use overflow-x: auto;*/ max-width: 100%; } .math-block[data-width="full"] { overflow-x: auto; display: flex; /* mjx-container has flex */ } svg .math-inline { display: initial; max-width: initial; } svg .math-inline mjx-container { max-width: initial; } svg mjx-container { overflow: visible; padding: 0; } svg math-block[data-width="full"] { overflow: visible; } .math-block,.math-inline { --mmd-highlight-color: rgba(0, 147, 255, 0.25); --mmd-highlight-text-color: #1e2029; } .math-block[data-highlight-color] mjx-container[jax="SVG"] > svg { background-color: var(--mmd-highlight-color); } .math-block[data-highlight-text-color] mjx-container[jax="SVG"] > svg { color: var(--mmd-highlight-text-color); } .math-inline[data-highlight-color] mjx-container[jax="SVG"] { background-color: var(--mmd-highlight-color); } .math-inline[data-highlight-text-color] mjx-container[jax="SVG"] { color: var(--mmd-highlight-text-color); } .math-block p { flex-shrink: 1; } .math-block mjx-container { margin: 0 !important; } .math-error { background-color: yellow; color: red; } #preview-content img, #setText img { max-width: 100%; } #preview-content blockquote, #setText blockquote { page-break-inside: avoid; color: #666; margin: 0 0 1em 0; padding-left: 3em; border-left: .5em solid #eee; } #preview-content pre, #setText pre { border: none; padding: 0; overflow: auto; font-size: 85%; line-height: 1.45; border-radius: 6px; box-sizing: border-box; background: #f8f8fa; } #preview-content pre code, #setText pre code{ padding: 1rem; display: block; overflow-x: auto; line-height: 24px; } .empty { text-align: center; font-size: 18px; padding: 50px 0 !important; } #setText table, #preview-content table { display: table; overflow: auto; max-width: 100%; border-collapse: collapse; page-break-inside: avoid; } #setText table th, #preview-content table th { text-align: center; font-weight: bold; } #setText table td, #preview-content table td, #setText table th, #preview-content table th { border: 1px solid #dfe2e5; padding: 6px 13px; } #setText table tr, #preview-content table tr { background-color: #fff; border-top: 1px solid #c6cbd1; } #setText table tr:nth-child(2n), #preview-content table tr:nth-child(2n) { background-color: #f6f8fa; } #preview-content .main-title, #setText .main-title { text-align: center; line-height: 1.2; margin: 0 auto 1em auto; } #preview-content .author, #setText .author { text-align: center; margin: 0 auto; display: flex; justify-content: center; flex-wrap: wrap; } #preview-content .author p, #setText .author p { min-width: 30%; max-width: 50%; padding: 0 7px; } #preview-content .author > p > span, #setText .author > p > span { display: block; text-align: center; } #preview-content .section-title, #setText .section-title { margin-top: 1.5em; } #preview-content .abstract, #setText .abstract { text-align: justify; margin-bottom: 1em; } #preview-content .abstract p, #setText .abstract p { margin-bottom: 0; } @media print { #preview { font-size: 10pt!important; } svg { shape-rendering: crispEdges; } .math-block svg, math-inline svg { margin-top: 1px; } #preview-content img, #setText img { display: block; } #preview-content .figure_img img, #setText .figure_img img { display: inline; } .preview-right { word-break: break-word; } #preview-content h1, #setText h1 { page-break-inside: avoid; position: relative; border: 2px solid transparent; } #preview-content h1::after, #setText h1::after { content: ""; display: block; height: 100px; margin-bottom: -100px; position: relative; } #preview-content h2, #setText h2 { page-break-inside: avoid; position: relative; border: 2px solid transparent; } #preview-content h2::after, #setText h2::after { content: ""; display: block; height: 100px; margin-bottom: -100px; position: relative; } #preview-content h3, #setText h3 { page-break-inside: avoid; position: relative; border: 2px solid transparent; } #preview-content h3::after, #setText h3::after { content: ""; display: block; height: 100px; margin-bottom: -100px; position: relative; } #preview-content h4, #setText h4 { page-break-inside: avoid; position: relative; border: 2px solid transparent; } #preview-content h4::after, #setText h4::after { content: ""; display: block; height: 100px; margin-bottom: -100px; position: relative; } #preview-content h5, #setText h5 { page-break-inside: avoid; position: relative; border: 2px solid transparent; } #preview-content h5::after, #setText h5::after { content: ""; display: block; height: 100px; margin-bottom: -100px; position: relative; } #preview-content h6, #setText h6 { page-break-inside: avoid; position: relative; border: 2px solid transparent; } #preview-content h6::after, #setText h6::after { content: ""; display: block; height: 100px; margin-bottom: -100px; position: relative; } } #preview-content sup, #setText sup { top: -.5em; position: relative; font-size: 75%; line-height: 0; vertical-align: baseline; } #preview-content .text-url, #setText .text-url { color: #0B93ff; cursor: text; pointer-events: none; } #preview-content .text-url a:hover, #setText .text-url a:hover { color: #0B93ff; } mark { background-color: #feffe6; } span[data-underline-type] mark { background: inherit; background-color: #feffe6; padding-top: 0; padding-bottom: 0; } *[data-has-dotfill] { position: relative; overflow: hidden; } *[data-has-dotfill] .dotfill::after { position: absolute; padding-left: .25ch; content: " . . . . . . . . . . . . . . . . . . . " ". . . . . . . . . . . . . . . . . . . . . . . " ". . . . . . . . . . . . . . . . . . . . . . . " ". . . . . . . . . . . . . . . . . . . . . . . " ". . . . . . . . . . . . . . . . . . . . . . . " ". . . . . . . . . . . . . . . . . . . . . . . " ". . . . . . . . . . . . . . . . . . . . . . . "; text-align: right; } .smiles { text-align: center; } div.svg-container, #setText > div.svg-container { display: flex; justify-content: center; } #preview-content code, #setText code { font-family: Inconsolata; font-size: inherit; display: initial; background: #f8f8fa; } #preview-content .mmd-highlight code, #setText .mmd-highlight code, #preview-content pre.mmd-highlight code, #setText pre.mmd-highlight code { background-color: transparent; } #preview-content pre code, #setText pre code { font-family: 'DM Mono', Inconsolata, monospace; color: #333; font-size: 15px; } .hljs-comment, .hljs-quote { color: #998; font-style: italic; } .hljs-command { color: #005cc5; } .hljs-keyword, .hljs-selector-tag, .hljs-subst { color: #d73a49; font-weight: bold; } .hljs-number, .hljs-literal, .hljs-variable, .hljs-template-variable, .hljs-tag .hljs-attr { color: #005cc5; } .hljs-string, .hljs-doctag { color: #24292e; } .hljs-title, .hljs-section, .hljs-selector-id { color: #6f42c1; font-weight: bold; } .hljs-subst { font-weight: normal; } .hljs-type, .hljs-class .hljs-title { color: #458; font-weight: bold; } .hljs-tag, .hljs-name, .hljs-attribute { color: #000080; font-weight: normal; } .hljs-regexp, .hljs-link { color: #009926; } .hljs-symbol, .hljs-bullet { color: #990073; } .hljs-built_in, .hljs-builtin-name { color: #24292e; } .hljs-meta { color: #999; font-weight: bold; } .hljs-meta-keyword { color: #d73a49; } .hljs-meta-string { color: #032f62; } .hljs-deletion { background: #fdd; } .hljs-addition { background: #dfd; } .hljs-emphasis { font-style: italic; } .hljs-strong { font-weight: bold; } .table_tabular table th, .table_tabular table th { border: none !important; padding: 6px 13px; } .tabular tr, .tabular tr { border-top: none !important; border-bottom: none !important; } .tabular td, .tabular td { border-style: none !important; background-color: #fff; border-color: #000 !important; word-break: keep-all; padding: 0.1em 0.5em !important; } .tabular { display: inline-table !important; height: fit-content; } .tabular td > p { margin-bottom: 0; margin-top: 0; } .tabular td._empty { height: 1.3em; } .tabular td .f { opacity: 0; } html[data-theme="dark"] .tabular tr, html[data-theme="dark"] .tabular td { background-color: #202226; border-color: #fff !important; } .table_tabular { overflow-x: auto; padding: 0 2px 0.5em 2px; } .figure_img { margin-bottom: 0.5em; overflow-x: auto; } ol.enumerate, ul.itemize { padding-inline-start: 40px; } /* It's commented because counter not supporting to change value ol.enumerate.lower-alpha { counter-reset: item ; list-style-type: none !important; } .enumerate.lower-alpha > li { position: relative; } .enumerate.lower-alpha > li:before { content: "("counter(item, lower-alpha)")"; counter-increment: item; position: absolute; left: -47px; width: 47px; display: flex; justify-content: flex-end; padding-right: 7px; flex-wrap: nowrap; word-break: keep-all; } */ .itemize > li { position: relative; } .itemize > li > span.li_level, .li_enumerate.not_number > span.li_level { position: absolute; right: 100%; white-space: nowrap; width: max-content;; display: flex; justify-content: flex-end; padding-right: 10px; box-sizing: border-box; } .li_enumerate.not_number { position: relative; display: inline-block; list-style-type: none; } #preview { font-family: 'CMU Serif', 'Georgia', Helvetica, Arial, sans-serif; font-size: 17px; visibility: visible; word-break: break-word; padding: 2.5em; max-width: 800px; margin: auto; box-sizing: content-box; } #preview h1, #preview h2, #preview h3, #preview h4, #preview h5, #preview strong { font-family: 'CMU Serif Bold', 'Georgia', Helvetica, Arial, sans-serif; } #preview i, #preview em { font-family: 'CMU Serif Italic', 'Georgia', Helvetica, Arial, sans-serif; } .mmd-menu { max-width: 320px; position: absolute; background-color: white; color: black; width: auto; padding: 5px 0px; border: 1px solid #E5E6EB; margin: 0; cursor: default; font: menu; text-align: left; text-indent: 0; text-transform: none; line-height: normal; letter-spacing: normal; word-spacing: normal; word-wrap: normal; white-space: nowrap; float: none; z-index: 201; border-radius: 5px; -webkit-border-radius: 5px; -moz-border-radius: 5px; -khtml-border-radius: 5px; box-shadow: 0px 10px 20px #808080; -webkit-box-shadow: 0px 10px 20px #808080; -moz-box-shadow: 0px 10px 20px #808080; -khtml-box-shadow: 0px 10px 20px #808080; } .mmd-menu:focus { outline: none; } .mmd-menu.mmd-menu-sm { max-width: 100vw; padding-bottom: 34px; border-radius: 0; -webkit-border-radius: 0; -moz-border-radius: 0; -khtml-border-radius: 0; } .mmd-menu-item-icon { color: #1e2029; margin-left: auto; align-items: center; display: flex; flex-shrink: 0; display: none; } .mmd-menu-item { padding-bottom: 8px; padding-top: 8px; padding-left: 1.25rem; padding-right: 1.25rem; display: flex; background: transparent; height: 52px; max-height: 52px; } .mmd-menu-item:focus { outline: none; } .mmd-menu-item.active { background-color: #e1e0e5; } .mmd-menu-item.active .mmd-menu-item-icon { display: flex; } .mmd-menu-item-container { overflow: hidden; } .mmd-menu-item-title { color: #1e2029; white-space: nowrap; text-overflow: ellipsis; overflow: hidden; font-size: 14px; line-height: 20px; } .mmd-menu-item-value { color: #7d829c; white-space: nowrap; text-overflow: ellipsis; overflow: hidden; font-size: 12px; line-height: 16px; } html[data-theme="dark"] .mmd-menu-item-title { color: #ebefe7; } html[data-theme="dark"] .mmd-menu-item.active .mmd-menu-item-title { color: #1e2029; } html[data-theme="dark"] .mmd-menu { background-color: #33363a; } .mmd-context-menu-overlay{ background: rgba(0, 0, 0, 0.56); } .ClipboardButton { padding: 0; margin: 0.5rem; display: inline-block; cursor: pointer; color: rgb(36, 41, 47); background: rgb(246, 248, 250); border-radius: 6px; border: 1px solid rgba(31, 35, 40, 0.15); box-shadow: rgba(31, 35, 40, 0.04) 0 1px 0 0, rgba(255, 255, 255, 0.25) 0 1px 0 0 inset; position: relative; } .ClipboardButton:hover { background-color: rgb(243, 244, 246); border-color: rgba(31, 35, 40, 0.15); transition-duration: .1s; } .mmd-clipboard-icon { fill: currentColor; vertical-align: text-bottom; } .mmd-clipboard-copy-icon { color: rgb(101, 109, 118); } .mmd-clipboard-check-icon { color: rgb(26, 127, 55); } .mmd-tooltipped-no-delay:hover::before, .mmd-tooltipped-no-delay:hover::after { animation-delay: 0s; } .mmd-tooltipped:hover::before, .mmd-tooltipped:hover::after { display: inline-block; text-decoration: none; animation-name: tooltip-appear; animation-duration: .1s; animation-fill-mode: forwards; animation-timing-function: ease-in; animation-delay: .4s; } .mmd-tooltipped-w::before { top: 50%; bottom: 50%; left: -7px; margin-top: -6px; border-left-color: rgb(36, 41, 47); } .mmd-tooltipped::before { position: absolute; z-index: 1000001; display: none; width: 0; height: 0; color: rgb(36, 41, 47); pointer-events: none; content: ""; border: 6px solid transparent; opacity: 0; } .mmd-tooltipped-w::after { right: 100%; bottom: 50%; margin-right: 6px; transform: translateY(50%); } .mmd-tooltipped::after { position: absolute; z-index: 1000000; display: none; padding: 0.5em 0.75em; font: normal normal 11px/1.5 'CMU Serif', 'Georgia', Helvetica, Arial, sans-serif; -webkit-font-smoothing: subpixel-antialiased; color: rgb(255, 255, 255); text-align: center; text-decoration: none; text-shadow: none; text-transform: none; letter-spacing: normal; word-wrap: break-word; white-space: pre; pointer-events: none; content: attr(aria-label); background: rgb(36, 41, 47); border-radius: 6px; opacity: 0; }
Original text
Rate this translation
Your feedback will be used to help improve Google Translate

About a lemma by Tadeusz Ważewski by Tiberiu Popoviciu (Cluj)

  1. In most treatises on mathematical analysis we find the well-known theorem, due to Cauchy:
Either ( A n A n A_(n)A_{n}An) a given infinite, increasing sequence of positive numbers tending towards + ∞ + ∞ +o+\infty+∞And ( a n ) a n (a_(n))\left(a_{n}\right)(an)any infinite sequence of real numbers. So if we have
(1) lim n → + ∞ a n + 1 − a n A n + 1 − A n = l (1) lim n → + ∞   a n + 1 − a n A n + 1 − A n = l {:(1)lim_(n rarr+oo)(a_(n+1)-a_(n))/(A_(n+1)-A_(n))=l:}\begin{equation*} \lim _{n \rightarrow+\infty} \frac{a_{n+1}-a_{n}}{A_{n+1}-A_{n}}=l \tag{1} \end{equation*}(1)limn→+∞an+1−anAn+1−An=l
we also have
(2) lim n → + ∞ a n A n = l (2) lim n → + ∞   a n A n = l {:(2)lim_(n rarr+oo)(a_(n))/(A_(n))=l:}\begin{equation*} \lim _{n \rightarrow+\infty} \frac{a_{n}}{A_{n}}=l \tag{2} \end{equation*}(2)limn→+∞anAn=l
The property is also true, whatever the limit l l lll, finished or not.
Under the assumptions of the theorem, property (2) therefore always results from property (1). On the contrary, property (1) does not always result from property (2). To illustrate this statement, we usually give the simple example: A n = n , a n = ( − 1 ) n A n = n , a n = ( − 1 ) n A_(n)=n,a_(n)=(-1)^(n)A_{n}=n, a_{n}=(-1)^{n}An=n,an=(−1)n.
2. An important lemma, established by Tadeusz Ważewski in his remarkable research on l'Hospital's theorem, suggests the following property ( 1 1 ^(1){ }^{1}1):
W. Either ( A n ) n = 1 + ∞ A n n = 1 + ∞ (A_(n))_(n=1)^(+oo)\left(A_{n}\right)_{n=1}^{+\infty}(An)n=1+∞a given infinite, increasing sequence of positive numbers tending towards + ∞ + ∞ +o+\infty+∞And ( a n ) n = 1 + ∞ a n n = 1 + ∞ (a_(n))_(n=1)^(+oo)\left(a_{n}\right)_{n=1}^{+\infty}(an)n=1+∞any infinite sequence of real numbers. Suppose we have property (2). Then we can find a partial sequence ( k n ) n = 1 + ∞ k n n = 1 + ∞ (k_(n))_(n=1)^(+oo)\left(k_{n}\right)_{n=1}^{+\infty}(kn)n=1+∞of the sequence of clues ( n ) n = 1 + ∞ ( n ) n = 1 + ∞ (n)_(n=1)^(+oo)(n)_{n=1}^{+\infty}(n)n=1+∞such that we also have
(3) lim n → + ∞ a k n + 1 − a k n A k n + 1 − A k n = l . (3) lim n → + ∞   a k n + 1 − a k n A k n + 1 − A k n = l . {:(3)lim_(n rarr+oo)(a_(k_(n+1))-a_(k_(n)))/(A_(k_(n+1))-A_(k_(n)))=l.:}\begin{equation*} \lim _{n \rightarrow+\infty} \frac{a_{k_{n+1}}-a_{k_{n}}}{A_{k_{n+1}}-A_{k_{n}}}=l . \tag{3} \end{equation*}(3)limn→+∞akn+1−aknAkn+1−Akn=l.
We can consider this property as a kind of reciprocal of Oauchy's theorem.
For demonstration of ownership W W WWINwe can follow the proof that Tadeusz Ważewski gave of his lemma.
We have
(4) a k n + 1 − a k n A k n + 1 − A k n = ( a k n + 1 A k n + 1 − a k n A k n ) 1 1 − A k n / A k n + 1 + a k n A k n . (4) a k n + 1 − a k n A k n + 1 − A k n = a k n + 1 A k n + 1 − a k n A k n 1 1 − A k n / A k n + 1 + a k n A k n . {:(4)(a_(k_(n+1))-a_(k_(n)))/(A_(k_(n+1))-A_(k_(n)))=((a_(k_(n+1)))/(A_(k_(n+1)))-(a_(k_(n)))/(A_(k_(n))))(1)/(1-A_(k_(n))//A_(k_(n+1)))+(a_(k_(n)))/(A_(k_(n))).:}\begin{equation*} \frac{a_{k_{n+1}}-a_{k_{n}}}{A_{k_{n+1}}-A_{k_{n}}}=\left(\frac{a_{k_{n+1}}}{A_{k_{n+1}}}-\frac{a_{k_{n}}}{A_{k_{n}}}\right) \frac{1}{1-A_{k_{n}} / A_{k_{n+1}}}+\frac{a_{k_{n}}}{A_{k_{n}}} . \tag{4} \end{equation*}(4)akn+1−aknAkn+1−Akn=(akn+1Akn+1−aknAkn)11−Akn/Akn+1+aknAkn.
But, the sequel ( A n ) A n (A_(n))\left(A_{n}\right)(An)tending towards + ∞ + ∞ +oo+\infty+∞, we can choose the continuation ( k n ) k n (k_(n))\left(k_{n}\right)(kn)clues so that we have
(5) A k n A k n + 1 < 1 2 , n = 1 , 2 , … (5) A k n A k n + 1 < 1 2 , n = 1 , 2 , … {:(5)(A_(k_(n)))/(A_(k_(n+1))) < (1)/(2)","quad n=1","2","dots:}\begin{equation*} \frac{A_{k_{n}}}{A_{k_{n+1}}}<\frac{1}{2}, \quad n=1,2, \ldots \tag{5} \end{equation*}(5)AknAkn+1<12,n=1,2,…
Let us also note that from (2) it follows that a k n / A k n a k n / A k n a_(k_(n))//A_(k_(n))a_{k_{n}} / A_{k_{n}}akn/Akntends towards l l lll pow n → + ∞ n → + ∞ n rarr+oon \rightarrow+\inftyn→+∞.
Property W then follows immediately from (4) when l is finite.
If l l lllis infinite ( = + ∞ = + ∞ =+oo=+\infty=+∞or − ∞ − ∞ -oo-\infty−∞), we must complete the demonstration. If, for example, l = + ∞ l = + ∞ l=+ool=+\inftyl=+∞, we can first extract a partial sequence ( p n ) n = 1 + ∞ p n n = 1 + ∞ (p_(n))_(n=1)^(+oo)\left(p_{n}\right)_{n=1}^{+\infty}(pn)n=1+∞of clues so that the continuation ( a p n / A p n ) n = 1 + ∞ a p n / A p n n = 1 + ∞ (a_(p_(n))//A_(p_(n)))_(n=1)^(+oo)\left(a_{p_{n}} / A_{p_{n}}\right)_{n=1}^{+\infty}(apn/Apn)n=1+∞either increasing (then tending towards + ∞ + ∞ +oo+\infty+∞). We then extract the sequence ( k n k n k_(n)k_{n}kn) of the following ( p n p n p_(n)p_{n}pn), therefore also from the following ( n n nnn) so that we still have (5). We can easily see that this is still possible. Formula (4) shows us that property W is still true for l = + ∞ l = + ∞ l=+ool=+\inftyl=+∞. We demonstrate in the same way the property W W WWINand l = − ∞ l = − ∞ l=-ool=-\inftyl=−∞.
Finally, note that when the limit l l lllis finished, in the property W W WWINwe can choose the partial sequence of indices ( k n k n k_(n)k_{n}kn) independently of the sequence ( a n a n a_(n)a_{n}an ).
  1. ( 1 ) 1 (^(1))\left({ }^{1}\right)(1)Tadeusz Ważewski, A uniform proof of the generalized l'Hospital theorem, Ann. Soc. Polon. Math. 22 (1949), pp. 161-168.
1974

Related Posts