id	sid	tid	token	lemma	pos
ajema-7662	1	1	169	169	NUM
ajema-7662	1	2	journal	journal	NOUN
ajema-7662	1	3	of	of	ADP
ajema-7662	1	4	engineering	engineering	NOUN
ajema-7662	1	5	,	,	PUNCT
ajema-7662	1	6	mechanics	mechanic	NOUN
ajema-7662	1	7	and	and	CCONJ
ajema-7662	1	8	architecture	architecture	NOUN
ajema-7662	1	9	www	www	NOUN
ajema-7662	1	10	.	.	PUNCT
ajema-7662	2	1	grnjournal.us	grnjournal.us	PROPN
ajema-7662	2	2	american	american	PROPN
ajema-7662	2	3	journal	journal	PROPN
ajema-7662	2	4	of	of	ADP
ajema-7662	2	5	engineering	engineering	NOUN
ajema-7662	2	6	,	,	PUNCT
ajema-7662	2	7	mechanics	mechanic	NOUN
ajema-7662	2	8	and	and	CCONJ
ajema-7662	2	9	architecture	architecture	NOUN
ajema-7662	2	10	volume	volume	NOUN
ajema-7662	2	11	3	3	NUM
ajema-7662	2	12	,	,	PUNCT
ajema-7662	2	13	issue	issue	NOUN
ajema-7662	2	14	4	4	NUM
ajema-7662	2	15	,	,	PUNCT
ajema-7662	2	16	2025	2025	NUM
ajema-7662	2	17	issn	issn	X
ajema-7662	2	18	(	(	PUNCT
ajema-7662	2	19	e	e	NOUN
ajema-7662	2	20	):	):	PUNCT
ajema-7662	2	21	2993	2993	NUM
ajema-7662	2	22	-	-	SYM
ajema-7662	2	23	2637	2637	NUM
ajema-7662	2	24	fixed	fix	VERB
ajema-7662	2	25	point	point	NOUN
ajema-7662	2	26	theorems	theorem	NOUN
ajema-7662	2	27	for	for	ADP
ajema-7662	2	28	weakly	weakly	ADJ
ajema-7662	2	29	contractive	contractive	ADJ
ajema-7662	2	30	mappings	mapping	NOUN
ajema-7662	2	31	in	in	ADP
ajema-7662	2	32	g	g	NOUN
ajema-7662	2	33	-	-	PUNCT
ajema-7662	2	34	metric	metric	ADJ
ajema-7662	2	35	spaces	space	NOUN
ajema-7662	2	36	neeru	neeru	PROPN
ajema-7662	2	37	yadav	yadav	PROPN
ajema-7662	2	38	,	,	PUNCT
ajema-7662	2	39	ph.d	ph.d	PROPN
ajema-7662	2	40	.	.	PUNCT
ajema-7662	3	1	(	(	PUNCT
ajema-7662	3	2	mathematics	mathematics	PROPN
ajema-7662	3	3	)	)	PUNCT
ajema-7662	3	4	,	,	PUNCT
ajema-7662	3	5	starex	starex	PROPN
ajema-7662	3	6	university	university	PROPN
ajema-7662	3	7	,	,	PUNCT
ajema-7662	3	8	gurgaon	gurgaon	PROPN
ajema-7662	3	9	,	,	PUNCT
ajema-7662	3	10	haryana	haryana	PROPN
ajema-7662	3	11	ghisa	ghisa	PROPN
ajema-7662	3	12	nagar	nagar	PROPN
ajema-7662	3	13	,	,	PUNCT
ajema-7662	3	14	delhi	delhi	ADJ
ajema-7662	3	15	road	road	NOUN
ajema-7662	3	16	,	,	PUNCT
ajema-7662	3	17	rewari	rewari	PROPN
ajema-7662	3	18	,	,	PUNCT
ajema-7662	3	19	haryana	haryana	PROPN
ajema-7662	3	20	abstract	abstract	PROPN
ajema-7662	3	21	:	:	PUNCT
ajema-7662	3	22	this	this	DET
ajema-7662	3	23	paper	paper	NOUN
ajema-7662	3	24	investigates	investigate	VERB
ajema-7662	3	25	the	the	DET
ajema-7662	3	26	existence	existence	NOUN
ajema-7662	3	27	and	and	CCONJ
ajema-7662	3	28	uniqueness	uniqueness	NOUN
ajema-7662	3	29	of	of	ADP
ajema-7662	3	30	fixed	fix	VERB
ajema-7662	3	31	points	point	NOUN
ajema-7662	3	32	for	for	ADP
ajema-7662	3	33	weakly	weakly	ADJ
ajema-7662	3	34	contractive	contractive	ADJ
ajema-7662	3	35	mappings	mapping	NOUN
ajema-7662	3	36	in	in	ADP
ajema-7662	3	37	the	the	DET
ajema-7662	3	38	context	context	NOUN
ajema-7662	3	39	of	of	ADP
ajema-7662	3	40	g	g	NOUN
ajema-7662	3	41	-	-	PUNCT
ajema-7662	3	42	metric	metric	ADJ
ajema-7662	3	43	spaces	space	NOUN
ajema-7662	3	44	.	.	PUNCT
ajema-7662	4	1	we	we	PRON
ajema-7662	4	2	extend	extend	VERB
ajema-7662	4	3	several	several	ADJ
ajema-7662	4	4	classical	classical	ADJ
ajema-7662	4	5	fixed	fix	VERB
ajema-7662	4	6	point	point	NOUN
ajema-7662	4	7	theorems	theorem	NOUN
ajema-7662	4	8	by	by	ADP
ajema-7662	4	9	introducing	introduce	VERB
ajema-7662	4	10	a	a	DET
ajema-7662	4	11	new	new	ADJ
ajema-7662	4	12	class	class	NOUN
ajema-7662	4	13	of	of	ADP
ajema-7662	4	14	weakly	weakly	ADJ
ajema-7662	4	15	contractive	contractive	ADJ
ajema-7662	4	16	conditions	condition	NOUN
ajema-7662	4	17	that	that	PRON
ajema-7662	4	18	generalize	generalize	VERB
ajema-7662	4	19	the	the	DET
ajema-7662	4	20	standard	standard	ADJ
ajema-7662	4	21	contractive	contractive	ADJ
ajema-7662	4	22	inequalities	inequality	NOUN
ajema-7662	4	23	.	.	PUNCT
ajema-7662	5	1	our	our	PRON
ajema-7662	5	2	main	main	ADJ
ajema-7662	5	3	results	result	NOUN
ajema-7662	5	4	establish	establish	VERB
ajema-7662	5	5	sufficient	sufficient	ADJ
ajema-7662	5	6	conditions	condition	NOUN
ajema-7662	5	7	for	for	ADP
ajema-7662	5	8	the	the	DET
ajema-7662	5	9	existence	existence	NOUN
ajema-7662	5	10	of	of	ADP
ajema-7662	5	11	fixed	fix	VERB
ajema-7662	5	12	points	point	NOUN
ajema-7662	5	13	under	under	ADP
ajema-7662	5	14	various	various	ADJ
ajema-7662	5	15	weak	weak	ADJ
ajema-7662	5	16	contraction	contraction	NOUN
ajema-7662	5	17	principles	principle	NOUN
ajema-7662	5	18	,	,	PUNCT
ajema-7662	5	19	including	include	VERB
ajema-7662	5	20	φ	φ	VERB
ajema-7662	5	21	-	-	PUNCT
ajema-7662	5	22	weak	weak	ADJ
ajema-7662	5	23	contractions	contraction	NOUN
ajema-7662	5	24	and	and	CCONJ
ajema-7662	5	25	generalized	generalize	VERB
ajema-7662	5	26	ćirić	ćirić	NOUN
ajema-7662	5	27	-	-	PUNCT
ajema-7662	5	28	type	type	NOUN
ajema-7662	5	29	mappings	mapping	NOUN
ajema-7662	5	30	.	.	PUNCT
ajema-7662	6	1	furthermore	furthermore	ADV
ajema-7662	6	2	,	,	PUNCT
ajema-7662	6	3	we	we	PRON
ajema-7662	6	4	provide	provide	VERB
ajema-7662	6	5	examples	example	NOUN
ajema-7662	6	6	to	to	PART
ajema-7662	6	7	demonstrate	demonstrate	VERB
ajema-7662	6	8	that	that	SCONJ
ajema-7662	6	9	our	our	PRON
ajema-7662	6	10	results	result	NOUN
ajema-7662	6	11	properly	properly	ADV
ajema-7662	6	12	extend	extend	VERB
ajema-7662	6	13	the	the	DET
ajema-7662	6	14	existing	exist	VERB
ajema-7662	6	15	literature	literature	NOUN
ajema-7662	6	16	,	,	PUNCT
ajema-7662	6	17	and	and	CCONJ
ajema-7662	6	18	we	we	PRON
ajema-7662	6	19	discuss	discuss	VERB
ajema-7662	6	20	applications	application	NOUN
ajema-7662	6	21	to	to	PART
ajema-7662	6	22	nonlinear	nonlinear	VERB
ajema-7662	6	23	integral	integral	ADJ
ajema-7662	6	24	equations	equation	NOUN
ajema-7662	6	25	.	.	PUNCT
ajema-7662	7	1	the	the	DET
ajema-7662	7	2	presented	present	VERB
ajema-7662	7	3	theorems	theorem	NOUN
ajema-7662	7	4	not	not	PART
ajema-7662	7	5	only	only	ADV
ajema-7662	7	6	complement	complement	VERB
ajema-7662	7	7	the	the	DET
ajema-7662	7	8	current	current	ADJ
ajema-7662	7	9	body	body	NOUN
ajema-7662	7	10	of	of	ADP
ajema-7662	7	11	knowledge	knowledge	NOUN
ajema-7662	7	12	on	on	ADP
ajema-7662	7	13	fixed	fix	VERB
ajema-7662	7	14	point	point	NOUN
ajema-7662	7	15	theory	theory	NOUN
ajema-7662	7	16	in	in	ADP
ajema-7662	7	17	g	g	NOUN
ajema-7662	7	18	-	-	PUNCT
ajema-7662	7	19	metric	metric	ADJ
ajema-7662	7	20	spaces	space	NOUN
ajema-7662	7	21	but	but	CCONJ
ajema-7662	7	22	also	also	ADV
ajema-7662	7	23	open	open	VERB
ajema-7662	7	24	avenues	avenue	NOUN
ajema-7662	7	25	for	for	ADP
ajema-7662	7	26	future	future	ADJ
ajema-7662	7	27	research	research	NOUN
ajema-7662	7	28	in	in	ADP
ajema-7662	7	29	related	related	ADJ
ajema-7662	7	30	areas	area	NOUN
ajema-7662	7	31	.	.	PUNCT
ajema-7662	8	1	keywords	keyword	NOUN
ajema-7662	8	2	:	:	PUNCT
ajema-7662	8	3	fixed	fix	VERB
ajema-7662	8	4	point	point	NOUN
ajema-7662	8	5	theory	theory	NOUN
ajema-7662	8	6	;	;	PUNCT
ajema-7662	8	7	g	g	NOUN
ajema-7662	8	8	-	-	PUNCT
ajema-7662	8	9	metric	metric	ADJ
ajema-7662	8	10	spaces	space	NOUN
ajema-7662	8	11	;	;	PUNCT
ajema-7662	8	12	weakly	weakly	ADJ
ajema-7662	8	13	contractive	contractive	ADJ
ajema-7662	8	14	mappings	mapping	NOUN
ajema-7662	8	15	;	;	PUNCT
ajema-7662	8	16	φ	φ	VERB
ajema-7662	8	17	-	-	PUNCT
ajema-7662	8	18	weak	weak	ADJ
ajema-7662	8	19	contractions	contraction	NOUN
ajema-7662	8	20	;	;	PUNCT
ajema-7662	8	21	generalized	generalized	ADJ
ajema-7662	8	22	contractions	contraction	NOUN
ajema-7662	8	23	;	;	PUNCT
ajema-7662	8	24	nonlinear	nonlinear	ADJ
ajema-7662	8	25	integral	integral	ADJ
ajema-7662	8	26	equationss	equations	NOUN
ajema-7662	8	27	.	.	PUNCT
ajema-7662	9	1	1	1	X
ajema-7662	9	2	.	.	X
ajema-7662	9	3	introduction	introduction	NOUN
ajema-7662	9	4	fixed	fix	VERB
ajema-7662	9	5	point	point	NOUN
ajema-7662	9	6	theory	theory	NOUN
ajema-7662	9	7	serves	serve	VERB
ajema-7662	9	8	as	as	ADP
ajema-7662	9	9	a	a	DET
ajema-7662	9	10	fundamental	fundamental	ADJ
ajema-7662	9	11	tool	tool	NOUN
ajema-7662	9	12	in	in	ADP
ajema-7662	9	13	various	various	ADJ
ajema-7662	9	14	branches	branch	NOUN
ajema-7662	9	15	of	of	ADP
ajema-7662	9	16	mathematics	mathematic	NOUN
ajema-7662	9	17	,	,	PUNCT
ajema-7662	9	18	particularly	particularly	ADV
ajema-7662	9	19	in	in	ADP
ajema-7662	9	20	analysis	analysis	NOUN
ajema-7662	9	21	and	and	CCONJ
ajema-7662	9	22	topology	topology	NOUN
ajema-7662	9	23	,	,	PUNCT
ajema-7662	9	24	with	with	ADP
ajema-7662	9	25	significant	significant	ADJ
ajema-7662	9	26	applications	application	NOUN
ajema-7662	9	27	in	in	ADP
ajema-7662	9	28	differential	differential	ADJ
ajema-7662	9	29	equations	equation	NOUN
ajema-7662	9	30	,	,	PUNCT
ajema-7662	9	31	integral	integral	ADJ
ajema-7662	9	32	equations	equation	NOUN
ajema-7662	9	33	,	,	PUNCT
ajema-7662	9	34	and	and	CCONJ
ajema-7662	9	35	optimization	optimization	NOUN
ajema-7662	9	36	theory	theory	NOUN
ajema-7662	9	37	.	.	PUNCT
ajema-7662	10	1	following	follow	VERB
ajema-7662	10	2	the	the	DET
ajema-7662	10	3	seminal	seminal	ADJ
ajema-7662	10	4	work	work	NOUN
ajema-7662	10	5	of	of	ADP
ajema-7662	10	6	banach	banach	NOUN
ajema-7662	10	7	(	(	PUNCT
ajema-7662	10	8	1922	1922	NUM
ajema-7662	10	9	)	)	PUNCT
ajema-7662	10	10	on	on	ADP
ajema-7662	10	11	contraction	contraction	NOUN
ajema-7662	10	12	mappings	mapping	NOUN
ajema-7662	10	13	,	,	PUNCT
ajema-7662	10	14	numerous	numerous	ADJ
ajema-7662	10	15	mathematicians	mathematician	NOUN
ajema-7662	10	16	have	have	AUX
ajema-7662	10	17	extended	extend	VERB
ajema-7662	10	18	his	his	PRON
ajema-7662	10	19	fixed	fix	VERB
ajema-7662	10	20	point	point	NOUN
ajema-7662	10	21	theorem	theorem	VERB
ajema-7662	10	22	by	by	ADP
ajema-7662	10	23	considering	consider	VERB
ajema-7662	10	24	generalized	generalized	ADJ
ajema-7662	10	25	contraction	contraction	NOUN
ajema-7662	10	26	conditions	condition	NOUN
ajema-7662	10	27	in	in	ADP
ajema-7662	10	28	various	various	ADJ
ajema-7662	10	29	metric	metric	ADJ
ajema-7662	10	30	spaces	space	NOUN
ajema-7662	10	31	.	.	PUNCT
ajema-7662	11	1	in	in	ADP
ajema-7662	11	2	recent	recent	ADJ
ajema-7662	11	3	decades	decade	NOUN
ajema-7662	11	4	,	,	PUNCT
ajema-7662	11	5	the	the	DET
ajema-7662	11	6	development	development	NOUN
ajema-7662	11	7	of	of	ADP
ajema-7662	11	8	fixed	fix	VERB
ajema-7662	11	9	point	point	NOUN
ajema-7662	11	10	theory	theory	NOUN
ajema-7662	11	11	has	have	AUX
ajema-7662	11	12	been	be	AUX
ajema-7662	11	13	closely	closely	ADV
ajema-7662	11	14	linked	link	VERB
ajema-7662	11	15	to	to	ADP
ajema-7662	11	16	the	the	DET
ajema-7662	11	17	introduction	introduction	NOUN
ajema-7662	11	18	of	of	ADP
ajema-7662	11	19	generalized	generalized	ADJ
ajema-7662	11	20	metric	metric	ADJ
ajema-7662	11	21	structures	structure	NOUN
ajema-7662	11	22	that	that	PRON
ajema-7662	11	23	extend	extend	VERB
ajema-7662	11	24	beyond	beyond	ADP
ajema-7662	11	25	the	the	DET
ajema-7662	11	26	classical	classical	ADJ
ajema-7662	11	27	notion	notion	NOUN
ajema-7662	11	28	of	of	ADP
ajema-7662	11	29	metrics	metric	NOUN
ajema-7662	11	30	.	.	PUNCT
ajema-7662	12	1	g	g	NOUN
ajema-7662	12	2	-	-	PUNCT
ajema-7662	12	3	metric	metric	ADJ
ajema-7662	12	4	spaces	space	NOUN
ajema-7662	12	5	,	,	PUNCT
ajema-7662	12	6	introduced	introduce	VERB
ajema-7662	12	7	by	by	ADP
ajema-7662	12	8	mustafa	mustafa	PROPN
ajema-7662	12	9	and	and	CCONJ
ajema-7662	12	10	sims	sim	NOUN
ajema-7662	12	11	(	(	PUNCT
ajema-7662	12	12	2006	2006	NUM
ajema-7662	12	13	)	)	PUNCT
ajema-7662	12	14	,	,	PUNCT
ajema-7662	12	15	represent	represent	VERB
ajema-7662	12	16	an	an	DET
ajema-7662	12	17	important	important	ADJ
ajema-7662	12	18	class	class	NOUN
ajema-7662	12	19	of	of	ADP
ajema-7662	12	20	generalized	generalized	ADJ
ajema-7662	12	21	metric	metric	ADJ
ajema-7662	12	22	spaces	space	NOUN
ajema-7662	12	23	where	where	SCONJ
ajema-7662	12	24	the	the	DET
ajema-7662	12	25	distance	distance	NOUN
ajema-7662	12	26	function	function	NOUN
ajema-7662	12	27	assigns	assign	VERB
ajema-7662	12	28	a	a	DET
ajema-7662	12	29	real	real	ADJ
ajema-7662	12	30	number	number	NOUN
ajema-7662	12	31	to	to	ADP
ajema-7662	12	32	every	every	DET
ajema-7662	12	33	triplet	triplet	NOUN
ajema-7662	12	34	of	of	ADP
ajema-7662	12	35	elements	element	NOUN
ajema-7662	12	36	.	.	PUNCT
ajema-7662	13	1	this	this	DET
ajema-7662	13	2	generalization	generalization	NOUN
ajema-7662	13	3	has	have	AUX
ajema-7662	13	4	led	lead	VERB
ajema-7662	13	5	to	to	ADP
ajema-7662	13	6	significant	significant	ADJ
ajema-7662	13	7	advancements	advancement	NOUN
ajema-7662	13	8	in	in	ADP
ajema-7662	13	9	fixed	fix	VERB
ajema-7662	13	10	point	point	NOUN
ajema-7662	13	11	theory	theory	NOUN
ajema-7662	13	12	,	,	PUNCT
ajema-7662	13	13	allowing	allow	VERB
ajema-7662	13	14	researchers	researcher	NOUN
ajema-7662	13	15	to	to	PART
ajema-7662	13	16	establish	establish	VERB
ajema-7662	13	17	new	new	ADJ
ajema-7662	13	18	fixed	fix	VERB
ajema-7662	13	19	point	point	NOUN
ajema-7662	13	20	theorems	theorem	NOUN
ajema-7662	13	21	that	that	PRON
ajema-7662	13	22	can	can	AUX
ajema-7662	13	23	not	not	PART
ajema-7662	13	24	be	be	AUX
ajema-7662	13	25	directly	directly	ADV
ajema-7662	13	26	derived	derive	VERB
ajema-7662	13	27	from	from	ADP
ajema-7662	13	28	their	their	PRON
ajema-7662	13	29	classical	classical	ADJ
ajema-7662	13	30	counterparts	counterpart	NOUN
ajema-7662	13	31	.	.	PUNCT
ajema-7662	14	1	the	the	DET
ajema-7662	14	2	transition	transition	NOUN
ajema-7662	14	3	from	from	ADP
ajema-7662	14	4	metric	metric	ADJ
ajema-7662	14	5	spaces	space	NOUN
ajema-7662	14	6	to	to	ADP
ajema-7662	14	7	g	g	NOUN
ajema-7662	14	8	-	-	PUNCT
ajema-7662	14	9	metric	metric	ADJ
ajema-7662	14	10	spaces	space	NOUN
ajema-7662	14	11	has	have	AUX
ajema-7662	14	12	also	also	ADV
ajema-7662	14	13	facilitated	facilitate	VERB
ajema-7662	14	14	the	the	DET
ajema-7662	14	15	study	study	NOUN
ajema-7662	14	16	of	of	ADP
ajema-7662	14	17	more	more	ADV
ajema-7662	14	18	complex	complex	ADJ
ajema-7662	14	19	contractive	contractive	ADJ
ajema-7662	14	20	conditions	condition	NOUN
ajema-7662	14	21	.	.	PUNCT
ajema-7662	15	1	weakly	weakly	ADJ
ajema-7662	15	2	contractive	contractive	ADJ
ajema-7662	15	3	mappings	mapping	NOUN
ajema-7662	15	4	,	,	PUNCT
ajema-7662	15	5	initially	initially	ADV
ajema-7662	15	6	studied	study	VERB
ajema-7662	15	7	by	by	ADP
ajema-7662	15	8	alber	alber	PROPN
ajema-7662	15	9	and	and	CCONJ
ajema-7662	15	10	guerre	guerre	PROPN
ajema-7662	15	11	-	-	PUNCT
ajema-7662	15	12	delabriere	delabriere	PROPN
ajema-7662	15	13	(	(	PUNCT
ajema-7662	15	14	1997	1997	NUM
ajema-7662	15	15	)	)	PUNCT
ajema-7662	15	16	in	in	ADP
ajema-7662	15	17	hilbert	hilbert	NOUN
ajema-7662	15	18	spaces	space	NOUN
ajema-7662	15	19	and	and	CCONJ
ajema-7662	15	20	later	later	ADV
ajema-7662	15	21	extended	extend	VERB
ajema-7662	15	22	to	to	ADP
ajema-7662	15	23	metric	metric	ADJ
ajema-7662	15	24	spaces	space	NOUN
ajema-7662	15	25	by	by	ADP
ajema-7662	15	26	rhoades	rhoade	NOUN
ajema-7662	15	27	(	(	PUNCT
ajema-7662	15	28	2001	2001	NUM
ajema-7662	15	29	)	)	PUNCT
ajema-7662	15	30	,	,	PUNCT
ajema-7662	15	31	have	have	AUX
ajema-7662	15	32	emerged	emerge	VERB
ajema-7662	15	33	as	as	ADP
ajema-7662	15	34	a	a	DET
ajema-7662	15	35	natural	natural	ADJ
ajema-7662	15	36	generalization	generalization	NOUN
ajema-7662	15	37	of	of	ADP
ajema-7662	15	38	contractive	contractive	ADJ
ajema-7662	15	39	mappings	mapping	NOUN
ajema-7662	15	40	.	.	PUNCT
ajema-7662	16	1	these	these	DET
ajema-7662	16	2	mappings	mapping	NOUN
ajema-7662	16	3	satisfy	satisfy	NOUN
ajema-7662	16	4	inequalities	inequality	NOUN
ajema-7662	16	5	that	that	PRON
ajema-7662	16	6	are	be	AUX
ajema-7662	16	7	less	less	ADV
ajema-7662	16	8	restrictive	restrictive	ADJ
ajema-7662	16	9	than	than	ADP
ajema-7662	16	10	the	the	DET
ajema-7662	16	11	banach	banach	NOUN
ajema-7662	16	12	contraction	contraction	NOUN
ajema-7662	16	13	condition	condition	NOUN
ajema-7662	16	14	,	,	PUNCT
ajema-7662	16	15	thus	thus	ADV
ajema-7662	16	16	allowing	allow	VERB
ajema-7662	16	17	for	for	ADP
ajema-7662	16	18	a	a	DET
ajema-7662	16	19	broader	broad	ADJ
ajema-7662	16	20	class	class	NOUN
ajema-7662	16	21	of	of	ADP
ajema-7662	16	22	operators	operator	NOUN
ajema-7662	16	23	to	to	PART
ajema-7662	16	24	be	be	AUX
ajema-7662	16	25	studied	study	VERB
ajema-7662	16	26	within	within	ADP
ajema-7662	16	27	the	the	DET
ajema-7662	16	28	fixed	fix	VERB
ajema-7662	16	29	point	point	NOUN
ajema-7662	16	30	framework	framework	NOUN
ajema-7662	16	31	.	.	PUNCT
ajema-7662	17	1	170	170	NUM
ajema-7662	17	2	journal	journal	NOUN
ajema-7662	17	3	of	of	ADP
ajema-7662	17	4	engineering	engineering	NOUN
ajema-7662	17	5	,	,	PUNCT
ajema-7662	17	6	mechanics	mechanic	NOUN
ajema-7662	17	7	and	and	CCONJ
ajema-7662	17	8	architecture	architecture	NOUN
ajema-7662	17	9	www	www	NOUN
ajema-7662	17	10	.	.	PUNCT
ajema-7662	18	1	grnjournal.us	grnjournal.us	X
ajema-7662	18	2	in	in	ADP
ajema-7662	18	3	this	this	DET
ajema-7662	18	4	paper	paper	NOUN
ajema-7662	18	5	,	,	PUNCT
ajema-7662	18	6	we	we	PRON
ajema-7662	18	7	investigate	investigate	VERB
ajema-7662	18	8	the	the	DET
ajema-7662	18	9	behavior	behavior	NOUN
ajema-7662	18	10	of	of	ADP
ajema-7662	18	11	weakly	weakly	ADJ
ajema-7662	18	12	contractive	contractive	ADJ
ajema-7662	18	13	mappings	mapping	NOUN
ajema-7662	18	14	in	in	ADP
ajema-7662	18	15	the	the	DET
ajema-7662	18	16	setting	setting	NOUN
ajema-7662	18	17	of	of	ADP
ajema-7662	18	18	gmetric	gmetric	ADJ
ajema-7662	18	19	spaces	space	NOUN
ajema-7662	18	20	.	.	PUNCT
ajema-7662	19	1	our	our	PRON
ajema-7662	19	2	primary	primary	ADJ
ajema-7662	19	3	objective	objective	NOUN
ajema-7662	19	4	is	be	AUX
ajema-7662	19	5	to	to	PART
ajema-7662	19	6	establish	establish	VERB
ajema-7662	19	7	fixed	fix	VERB
ajema-7662	19	8	point	point	NOUN
ajema-7662	19	9	theorems	theorem	NOUN
ajema-7662	19	10	for	for	ADP
ajema-7662	19	11	various	various	ADJ
ajema-7662	19	12	classes	class	NOUN
ajema-7662	19	13	of	of	ADP
ajema-7662	19	14	weakly	weakly	ADJ
ajema-7662	19	15	contractive	contractive	ADJ
ajema-7662	19	16	mappings	mapping	NOUN
ajema-7662	19	17	,	,	PUNCT
ajema-7662	19	18	thereby	thereby	ADV
ajema-7662	19	19	extending	extend	VERB
ajema-7662	19	20	both	both	CCONJ
ajema-7662	19	21	the	the	DET
ajema-7662	19	22	classical	classical	ADJ
ajema-7662	19	23	results	result	NOUN
ajema-7662	19	24	in	in	ADP
ajema-7662	19	25	metric	metric	ADJ
ajema-7662	19	26	spaces	space	NOUN
ajema-7662	19	27	and	and	CCONJ
ajema-7662	19	28	the	the	DET
ajema-7662	19	29	more	more	ADV
ajema-7662	19	30	recent	recent	ADJ
ajema-7662	19	31	developments	development	NOUN
ajema-7662	19	32	in	in	ADP
ajema-7662	19	33	g	g	NOUN
ajema-7662	19	34	-	-	PUNCT
ajema-7662	19	35	metric	metric	ADJ
ajema-7662	19	36	spaces	space	NOUN
ajema-7662	19	37	.	.	PUNCT
ajema-7662	20	1	the	the	DET
ajema-7662	20	2	main	main	ADJ
ajema-7662	20	3	contributions	contribution	NOUN
ajema-7662	20	4	of	of	ADP
ajema-7662	20	5	this	this	DET
ajema-7662	20	6	work	work	NOUN
ajema-7662	20	7	are	be	AUX
ajema-7662	20	8	:	:	PUNCT
ajema-7662	20	9	1	1	X
ajema-7662	20	10	.	.	PUNCT
ajema-7662	21	1	the	the	DET
ajema-7662	21	2	introduction	introduction	NOUN
ajema-7662	21	3	of	of	ADP
ajema-7662	21	4	several	several	ADJ
ajema-7662	21	5	new	new	ADJ
ajema-7662	21	6	classes	class	NOUN
ajema-7662	21	7	of	of	ADP
ajema-7662	21	8	weakly	weakly	ADJ
ajema-7662	21	9	contractive	contractive	ADJ
ajema-7662	21	10	mappings	mapping	NOUN
ajema-7662	21	11	in	in	ADP
ajema-7662	21	12	g	g	NOUN
ajema-7662	21	13	-	-	PUNCT
ajema-7662	21	14	metric	metric	ADJ
ajema-7662	21	15	spaces	space	NOUN
ajema-7662	21	16	.	.	PUNCT
ajema-7662	22	1	2	2	X
ajema-7662	22	2	.	.	X
ajema-7662	22	3	the	the	DET
ajema-7662	22	4	establishment	establishment	NOUN
ajema-7662	22	5	of	of	ADP
ajema-7662	22	6	fixed	fix	VERB
ajema-7662	22	7	point	point	NOUN
ajema-7662	22	8	theorems	theorem	NOUN
ajema-7662	22	9	under	under	ADP
ajema-7662	22	10	generalized	generalized	ADJ
ajema-7662	22	11	contractive	contractive	ADJ
ajema-7662	22	12	conditions	condition	NOUN
ajema-7662	22	13	that	that	PRON
ajema-7662	22	14	extend	extend	VERB
ajema-7662	22	15	existing	exist	VERB
ajema-7662	22	16	results	result	NOUN
ajema-7662	22	17	in	in	ADP
ajema-7662	22	18	the	the	DET
ajema-7662	22	19	literature	literature	NOUN
ajema-7662	22	20	.	.	PUNCT
ajema-7662	23	1	3	3	X
ajema-7662	23	2	.	.	X
ajema-7662	23	3	the	the	DET
ajema-7662	23	4	development	development	NOUN
ajema-7662	23	5	of	of	ADP
ajema-7662	23	6	examples	example	NOUN
ajema-7662	23	7	that	that	PRON
ajema-7662	23	8	illustrate	illustrate	VERB
ajema-7662	23	9	the	the	DET
ajema-7662	23	10	applicability	applicability	NOUN
ajema-7662	23	11	of	of	ADP
ajema-7662	23	12	our	our	PRON
ajema-7662	23	13	theoretical	theoretical	ADJ
ajema-7662	23	14	findings	finding	NOUN
ajema-7662	23	15	.	.	PUNCT
ajema-7662	24	1	4	4	X
ajema-7662	24	2	.	.	X
ajema-7662	24	3	the	the	DET
ajema-7662	24	4	discussion	discussion	NOUN
ajema-7662	24	5	of	of	ADP
ajema-7662	24	6	applications	application	NOUN
ajema-7662	24	7	to	to	PART
ajema-7662	24	8	nonlinear	nonlinear	VERB
ajema-7662	24	9	integral	integral	ADJ
ajema-7662	24	10	equations	equation	NOUN
ajema-7662	24	11	in	in	ADP
ajema-7662	24	12	g	g	NOUN
ajema-7662	24	13	-	-	PUNCT
ajema-7662	24	14	metric	metric	ADJ
ajema-7662	24	15	spaces	space	NOUN
ajema-7662	24	16	.	.	PUNCT
ajema-7662	25	1	this	this	DET
ajema-7662	25	2	paper	paper	NOUN
ajema-7662	25	3	is	be	AUX
ajema-7662	25	4	organized	organize	VERB
ajema-7662	25	5	as	as	SCONJ
ajema-7662	25	6	follows	follow	VERB
ajema-7662	25	7	:	:	PUNCT
ajema-7662	25	8	section	section	NOUN
ajema-7662	25	9	2	2	NUM
ajema-7662	25	10	provides	provide	VERB
ajema-7662	25	11	the	the	DET
ajema-7662	25	12	necessary	necessary	ADJ
ajema-7662	25	13	definitions	definition	NOUN
ajema-7662	25	14	and	and	CCONJ
ajema-7662	25	15	preliminary	preliminary	ADJ
ajema-7662	25	16	results	result	NOUN
ajema-7662	25	17	on	on	ADP
ajema-7662	25	18	g	g	NOUN
ajema-7662	25	19	-	-	PUNCT
ajema-7662	25	20	metric	metric	ADJ
ajema-7662	25	21	spaces	space	NOUN
ajema-7662	25	22	and	and	CCONJ
ajema-7662	25	23	weakly	weakly	ADJ
ajema-7662	25	24	contractive	contractive	ADJ
ajema-7662	25	25	mappings	mapping	NOUN
ajema-7662	25	26	.	.	PUNCT
ajema-7662	26	1	section	section	NOUN
ajema-7662	26	2	3	3	NUM
ajema-7662	26	3	presents	present	VERB
ajema-7662	26	4	our	our	PRON
ajema-7662	26	5	main	main	ADJ
ajema-7662	26	6	fixed	fix	VERB
ajema-7662	26	7	point	point	NOUN
ajema-7662	26	8	theorems	theorem	NOUN
ajema-7662	26	9	for	for	ADP
ajema-7662	26	10	various	various	ADJ
ajema-7662	26	11	classes	class	NOUN
ajema-7662	26	12	of	of	ADP
ajema-7662	26	13	weakly	weakly	ADJ
ajema-7662	26	14	contractive	contractive	ADJ
ajema-7662	26	15	mappings	mapping	NOUN
ajema-7662	26	16	in	in	ADP
ajema-7662	26	17	g	g	NOUN
ajema-7662	26	18	-	-	PUNCT
ajema-7662	26	19	metric	metric	ADJ
ajema-7662	26	20	spaces	space	NOUN
ajema-7662	26	21	.	.	PUNCT
ajema-7662	27	1	in	in	ADP
ajema-7662	27	2	section	section	NOUN
ajema-7662	27	3	4	4	NUM
ajema-7662	27	4	,	,	PUNCT
ajema-7662	27	5	we	we	PRON
ajema-7662	27	6	provide	provide	VERB
ajema-7662	27	7	examples	example	NOUN
ajema-7662	27	8	to	to	PART
ajema-7662	27	9	illustrate	illustrate	VERB
ajema-7662	27	10	our	our	PRON
ajema-7662	27	11	theoretical	theoretical	ADJ
ajema-7662	27	12	results	result	NOUN
ajema-7662	27	13	.	.	PUNCT
ajema-7662	28	1	section	section	NOUN
ajema-7662	28	2	5	5	NUM
ajema-7662	28	3	discusses	discuss	VERB
ajema-7662	28	4	applications	application	NOUN
ajema-7662	28	5	to	to	PART
ajema-7662	28	6	nonlinear	nonlinear	VERB
ajema-7662	28	7	integral	integral	ADJ
ajema-7662	28	8	equations	equation	NOUN
ajema-7662	28	9	.	.	PUNCT
ajema-7662	29	1	finally	finally	ADV
ajema-7662	29	2	,	,	PUNCT
ajema-7662	29	3	section	section	NOUN
ajema-7662	29	4	6	6	NUM
ajema-7662	29	5	offers	offer	VERB
ajema-7662	29	6	concluding	conclude	VERB
ajema-7662	29	7	remarks	remark	NOUN
ajema-7662	29	8	and	and	CCONJ
ajema-7662	29	9	potential	potential	ADJ
ajema-7662	29	10	directions	direction	NOUN
ajema-7662	29	11	for	for	ADP
ajema-7662	29	12	future	future	ADJ
ajema-7662	29	13	research	research	NOUN
ajema-7662	29	14	.	.	PUNCT
ajema-7662	30	1	2	2	X
ajema-7662	30	2	.	.	X
ajema-7662	30	3	preliminaries	preliminary	NOUN
ajema-7662	30	4	in	in	ADP
ajema-7662	30	5	this	this	DET
ajema-7662	30	6	section	section	NOUN
ajema-7662	30	7	,	,	PUNCT
ajema-7662	30	8	we	we	PRON
ajema-7662	30	9	recall	recall	VERB
ajema-7662	30	10	some	some	DET
ajema-7662	30	11	basic	basic	ADJ
ajema-7662	30	12	definitions	definition	NOUN
ajema-7662	30	13	and	and	CCONJ
ajema-7662	30	14	properties	property	NOUN
ajema-7662	30	15	related	relate	VERB
ajema-7662	30	16	to	to	ADP
ajema-7662	30	17	g	g	NOUN
ajema-7662	30	18	-	-	PUNCT
ajema-7662	30	19	metric	metric	ADJ
ajema-7662	30	20	spaces	space	NOUN
ajema-7662	30	21	and	and	CCONJ
ajema-7662	30	22	weakly	weakly	ADJ
ajema-7662	30	23	contractive	contractive	ADJ
ajema-7662	30	24	mappings	mapping	NOUN
ajema-7662	30	25	that	that	PRON
ajema-7662	30	26	will	will	AUX
ajema-7662	30	27	be	be	AUX
ajema-7662	30	28	used	use	VERB
ajema-7662	30	29	throughout	throughout	ADP
ajema-7662	30	30	the	the	DET
ajema-7662	30	31	paper	paper	NOUN
ajema-7662	30	32	.	.	PUNCT
ajema-7662	31	1	2.1	2.1	NUM
ajema-7662	31	2	.	.	PUNCT
ajema-7662	32	1	g	g	NOUN
ajema-7662	32	2	-	-	PUNCT
ajema-7662	32	3	metric	metric	ADJ
ajema-7662	32	4	spaces	space	NOUN
ajema-7662	32	5	we	we	PRON
ajema-7662	32	6	begin	begin	VERB
ajema-7662	32	7	by	by	ADP
ajema-7662	32	8	revisiting	revisit	VERB
ajema-7662	32	9	the	the	DET
ajema-7662	32	10	definition	definition	NOUN
ajema-7662	32	11	of	of	ADP
ajema-7662	32	12	a	a	DET
ajema-7662	32	13	g	g	NOUN
ajema-7662	32	14	-	-	PUNCT
ajema-7662	32	15	metric	metric	ADJ
ajema-7662	32	16	space	space	NOUN
ajema-7662	32	17	as	as	SCONJ
ajema-7662	32	18	introduced	introduce	VERB
ajema-7662	32	19	by	by	ADP
ajema-7662	32	20	mustafa	mustafa	PROPN
ajema-7662	32	21	and	and	CCONJ
ajema-7662	32	22	sims	sim	NOUN
ajema-7662	32	23	(	(	PUNCT
ajema-7662	32	24	2006	2006	NUM
ajema-7662	32	25	)	)	PUNCT
ajema-7662	32	26	.	.	PUNCT
ajema-7662	33	1	definition	definition	NOUN
ajema-7662	33	2	2.1	2.1	NUM
ajema-7662	33	3	.	.	PUNCT
ajema-7662	34	1	(	(	PUNCT
ajema-7662	34	2	mustafa	mustafa	PROPN
ajema-7662	34	3	&	&	CCONJ
ajema-7662	34	4	sims	sim	NOUN
ajema-7662	34	5	,	,	PUNCT
ajema-7662	34	6	2006	2006	NUM
ajema-7662	34	7	)	)	PUNCT
ajema-7662	34	8	let	let	VERB
ajema-7662	34	9	x	x	PRON
ajema-7662	34	10	be	be	AUX
ajema-7662	34	11	a	a	DET
ajema-7662	34	12	non	non	ADJ
ajema-7662	34	13	-	-	ADJ
ajema-7662	34	14	empty	empty	ADJ
ajema-7662	34	15	set	set	NOUN
ajema-7662	34	16	,	,	PUNCT
ajema-7662	34	17	and	and	CCONJ
ajema-7662	34	18	let	let	VERB
ajema-7662	34	19	g	g	NOUN
ajema-7662	34	20	:	:	PUNCT
ajema-7662	34	21	x	x	SYM
ajema-7662	34	22	×	×	NOUN
ajema-7662	34	23	x	x	SYM
ajema-7662	34	24	×	×	NOUN
ajema-7662	34	25	x	x	INTJ
ajema-7662	34	26	→	→	SYM
ajema-7662	34	27	[	[	X
ajema-7662	34	28	0	0	NUM
ajema-7662	34	29	,	,	PUNCT
ajema-7662	34	30	∞	∞	PROPN
ajema-7662	34	31	)	)	PUNCT
ajema-7662	34	32	be	be	VERB
ajema-7662	34	33	a	a	DET
ajema-7662	34	34	function	function	NOUN
ajema-7662	34	35	satisfying	satisfy	VERB
ajema-7662	34	36	the	the	DET
ajema-7662	34	37	following	follow	VERB
ajema-7662	34	38	properties	property	NOUN
ajema-7662	34	39	:	:	PUNCT
ajema-7662	34	40	(	(	PUNCT
ajema-7662	34	41	g1	g1	X
ajema-7662	34	42	)	)	PUNCT
ajema-7662	34	43	g(x	g(x	NOUN
ajema-7662	34	44	,	,	PUNCT
ajema-7662	34	45	y	y	PROPN
ajema-7662	34	46	,	,	PUNCT
ajema-7662	34	47	z	z	NOUN
ajema-7662	34	48	)	)	PUNCT
ajema-7662	34	49	=	=	SYM
ajema-7662	34	50	0	0	PUNCT
ajema-7662	35	1	if	if	SCONJ
ajema-7662	35	2	x	x	NOUN
ajema-7662	35	3	=	=	PUNCT
ajema-7662	35	4	y	y	PROPN
ajema-7662	35	5	=	=	SYM
ajema-7662	35	6	z	z	PROPN
ajema-7662	35	7	;	;	PUNCT
ajema-7662	35	8	(	(	PUNCT
ajema-7662	35	9	g2	g2	PROPN
ajema-7662	35	10	)	)	PUNCT
ajema-7662	35	11	0	0	PUNCT
ajema-7662	36	1	<	<	X
ajema-7662	36	2	g(x	g(x	PROPN
ajema-7662	36	3	,	,	PUNCT
ajema-7662	36	4	x	x	NOUN
ajema-7662	36	5	,	,	PUNCT
ajema-7662	36	6	y	y	NOUN
ajema-7662	36	7	)	)	PUNCT
ajema-7662	36	8	for	for	ADP
ajema-7662	36	9	all	all	DET
ajema-7662	36	10	x	x	NOUN
ajema-7662	36	11	,	,	PUNCT
ajema-7662	36	12	y	y	PROPN
ajema-7662	36	13	∈	∈	PROPN
ajema-7662	36	14	x	x	PUNCT
ajema-7662	36	15	with	with	ADP
ajema-7662	36	16	x	x	SYM
ajema-7662	36	17	≠	≠	PROPN
ajema-7662	36	18	y	y	PROPN
ajema-7662	36	19	;	;	PUNCT
ajema-7662	36	20	(	(	PUNCT
ajema-7662	36	21	g3	g3	NOUN
ajema-7662	36	22	)	)	PUNCT
ajema-7662	36	23	g(x	g(x	NOUN
ajema-7662	36	24	,	,	PUNCT
ajema-7662	36	25	x	x	NOUN
ajema-7662	36	26	,	,	PUNCT
ajema-7662	36	27	y	y	NOUN
ajema-7662	36	28	)	)	PUNCT
ajema-7662	36	29	≤	≤	NOUN
ajema-7662	37	1	g(x	g(x	NOUN
ajema-7662	37	2	,	,	PUNCT
ajema-7662	37	3	y	y	PROPN
ajema-7662	37	4	,	,	PUNCT
ajema-7662	37	5	z	z	NOUN
ajema-7662	37	6	)	)	PUNCT
ajema-7662	37	7	for	for	ADP
ajema-7662	37	8	all	all	DET
ajema-7662	37	9	x	x	NOUN
ajema-7662	37	10	,	,	PUNCT
ajema-7662	37	11	y	y	PROPN
ajema-7662	37	12	,	,	PUNCT
ajema-7662	37	13	z	z	NOUN
ajema-7662	37	14	∈	∈	PROPN
ajema-7662	37	15	x	x	PUNCT
ajema-7662	37	16	with	with	ADP
ajema-7662	37	17	z	z	PROPN
ajema-7662	37	18	≠	≠	PROPN
ajema-7662	37	19	y	y	PROPN
ajema-7662	37	20	;	;	PUNCT
ajema-7662	37	21	(	(	PUNCT
ajema-7662	37	22	g4	g4	NOUN
ajema-7662	37	23	)	)	PUNCT
ajema-7662	37	24	g(x	g(x	PROPN
ajema-7662	37	25	,	,	PUNCT
ajema-7662	37	26	y	y	PROPN
ajema-7662	37	27	,	,	PUNCT
ajema-7662	37	28	z	z	NOUN
ajema-7662	37	29	)	)	PUNCT
ajema-7662	37	30	=	=	SYM
ajema-7662	38	1	g(x	g(x	NOUN
ajema-7662	38	2	,	,	PUNCT
ajema-7662	38	3	z	z	NOUN
ajema-7662	38	4	,	,	PUNCT
ajema-7662	38	5	y	y	NOUN
ajema-7662	38	6	)	)	PUNCT
ajema-7662	38	7	=	=	PUNCT
ajema-7662	39	1	g(y	g(y	NOUN
ajema-7662	39	2	,	,	PUNCT
ajema-7662	39	3	x	x	X
ajema-7662	39	4	,	,	PUNCT
ajema-7662	39	5	z	z	NOUN
ajema-7662	39	6	)	)	PUNCT
ajema-7662	39	7	=	=	SYM
ajema-7662	39	8	...	...	PUNCT
ajema-7662	39	9	(	(	PUNCT
ajema-7662	39	10	symmetry	symmetry	NOUN
ajema-7662	39	11	in	in	ADP
ajema-7662	39	12	all	all	DET
ajema-7662	39	13	three	three	NUM
ajema-7662	39	14	variables	variable	NOUN
ajema-7662	39	15	)	)	PUNCT
ajema-7662	39	16	;	;	PUNCT
ajema-7662	39	17	(	(	PUNCT
ajema-7662	39	18	g5	g5	NOUN
ajema-7662	39	19	)	)	PUNCT
ajema-7662	39	20	g(x	g(x	PROPN
ajema-7662	39	21	,	,	PUNCT
ajema-7662	39	22	y	y	PROPN
ajema-7662	39	23	,	,	PUNCT
ajema-7662	39	24	z	z	NOUN
ajema-7662	39	25	)	)	PUNCT
ajema-7662	39	26	≤	≤	NOUN
ajema-7662	39	27	g(x	g(x	NOUN
ajema-7662	39	28	,	,	PUNCT
ajema-7662	39	29	a	a	PRON
ajema-7662	39	30	,	,	PUNCT
ajema-7662	39	31	a	a	NOUN
ajema-7662	39	32	)	)	PUNCT
ajema-7662	39	33	+	+	PROPN
ajema-7662	39	34	g(a	g(a	PROPN
ajema-7662	39	35	,	,	PUNCT
ajema-7662	39	36	y	y	PROPN
ajema-7662	39	37	,	,	PUNCT
ajema-7662	39	38	z	z	NOUN
ajema-7662	39	39	)	)	PUNCT
ajema-7662	39	40	for	for	ADP
ajema-7662	39	41	all	all	DET
ajema-7662	39	42	x	x	NOUN
ajema-7662	39	43	,	,	PUNCT
ajema-7662	39	44	y	y	PROPN
ajema-7662	39	45	,	,	PUNCT
ajema-7662	39	46	z	z	PROPN
ajema-7662	39	47	,	,	PUNCT
ajema-7662	39	48	a	a	DET
ajema-7662	39	49	∈	∈	NOUN
ajema-7662	39	50	x	x	INTJ
ajema-7662	39	51	(	(	PUNCT
ajema-7662	39	52	rectangle	rectangle	NOUN
ajema-7662	39	53	inequality	inequality	NOUN
ajema-7662	39	54	)	)	PUNCT
ajema-7662	39	55	.	.	PUNCT
ajema-7662	40	1	then	then	ADV
ajema-7662	40	2	the	the	DET
ajema-7662	40	3	function	function	NOUN
ajema-7662	40	4	g	g	PROPN
ajema-7662	40	5	is	be	AUX
ajema-7662	40	6	called	call	VERB
ajema-7662	40	7	a	a	DET
ajema-7662	40	8	generalized	generalize	VERB
ajema-7662	40	9	metric	metric	NOUN
ajema-7662	40	10	,	,	PUNCT
ajema-7662	40	11	or	or	CCONJ
ajema-7662	40	12	more	more	ADV
ajema-7662	40	13	specifically	specifically	ADV
ajema-7662	40	14	a	a	DET
ajema-7662	40	15	g	g	NOUN
ajema-7662	40	16	-	-	NOUN
ajema-7662	40	17	metric	metric	ADJ
ajema-7662	40	18	on	on	ADP
ajema-7662	40	19	x	x	NOUN
ajema-7662	40	20	,	,	PUNCT
ajema-7662	40	21	and	and	CCONJ
ajema-7662	40	22	the	the	DET
ajema-7662	40	23	pair	pair	NOUN
ajema-7662	40	24	(	(	PUNCT
ajema-7662	40	25	x	x	NOUN
ajema-7662	40	26	,	,	PUNCT
ajema-7662	40	27	g	g	NOUN
ajema-7662	40	28	)	)	PUNCT
ajema-7662	40	29	is	be	AUX
ajema-7662	40	30	called	call	VERB
ajema-7662	40	31	a	a	DET
ajema-7662	40	32	g	g	NOUN
ajema-7662	40	33	-	-	PUNCT
ajema-7662	40	34	metric	metric	ADJ
ajema-7662	40	35	space	space	NOUN
ajema-7662	40	36	.	.	PUNCT
ajema-7662	41	1	definition	definition	NOUN
ajema-7662	41	2	2.2	2.2	NUM
ajema-7662	41	3	.	.	PUNCT
ajema-7662	42	1	(	(	PUNCT
ajema-7662	42	2	mustafa	mustafa	PROPN
ajema-7662	42	3	&	&	CCONJ
ajema-7662	42	4	sims	sim	NOUN
ajema-7662	42	5	,	,	PUNCT
ajema-7662	42	6	2006	2006	NUM
ajema-7662	42	7	)	)	PUNCT
ajema-7662	42	8	let	let	VERB
ajema-7662	42	9	(	(	PUNCT
ajema-7662	42	10	x	x	NOUN
ajema-7662	42	11	,	,	PUNCT
ajema-7662	42	12	g	g	NOUN
ajema-7662	42	13	)	)	PUNCT
ajema-7662	42	14	be	be	AUX
ajema-7662	42	15	a	a	DET
ajema-7662	42	16	g	g	NOUN
ajema-7662	42	17	-	-	PUNCT
ajema-7662	42	18	metric	metric	ADJ
ajema-7662	42	19	space	space	NOUN
ajema-7662	42	20	,	,	PUNCT
ajema-7662	42	21	and	and	CCONJ
ajema-7662	42	22	let	let	AUX
ajema-7662	42	23	{	{	PUNCT
ajema-7662	42	24	xn	xn	VERB
ajema-7662	42	25	}	}	PUNCT
ajema-7662	42	26	be	be	AUX
ajema-7662	42	27	a	a	DET
ajema-7662	42	28	sequence	sequence	NOUN
ajema-7662	42	29	of	of	ADP
ajema-7662	42	30	points	point	NOUN
ajema-7662	42	31	of	of	ADP
ajema-7662	42	32	x.	x.	NOUN
ajema-7662	42	33	we	we	PRON
ajema-7662	42	34	say	say	VERB
ajema-7662	42	35	that	that	SCONJ
ajema-7662	42	36	{	{	PUNCT
ajema-7662	42	37	xn	xn	X
ajema-7662	42	38	}	}	PUNCT
ajema-7662	42	39	is	be	AUX
ajema-7662	42	40	g	g	NOUN
ajema-7662	42	41	-	-	PUNCT
ajema-7662	42	42	convergent	convergent	NOUN
ajema-7662	42	43	to	to	ADP
ajema-7662	42	44	x	x	X
ajema-7662	42	45	∈	∈	PROPN
ajema-7662	42	46	x	x	INTJ
ajema-7662	42	47	if	if	SCONJ
ajema-7662	42	48	lim_{n	lim_{n	NOUN
ajema-7662	42	49	,	,	PUNCT
ajema-7662	42	50	m→∞	m→∞	NOUN
ajema-7662	42	51	}	}	PUNCT
ajema-7662	42	52	g(x	g(x	NOUN
ajema-7662	42	53	,	,	PUNCT
ajema-7662	42	54	xn	xn	PROPN
ajema-7662	42	55	,	,	PUNCT
ajema-7662	42	56	xm	xm	PROPN
ajema-7662	42	57	)	)	PUNCT
ajema-7662	43	1	=	=	SYM
ajema-7662	43	2	0	0	NUM
ajema-7662	43	3	,	,	PUNCT
ajema-7662	43	4	that	that	ADV
ajema-7662	43	5	is	is	ADV
ajema-7662	43	6	,	,	PUNCT
ajema-7662	43	7	for	for	ADP
ajema-7662	43	8	any	any	DET
ajema-7662	43	9	ε	ε	PROPN
ajema-7662	43	10	>	>	X
ajema-7662	43	11	0	0	PROPN
ajema-7662	43	12	,	,	PUNCT
ajema-7662	43	13	there	there	PRON
ajema-7662	43	14	exists	exist	VERB
ajema-7662	43	15	n	n	PRON
ajema-7662	43	16	∈	∈	PROPN
ajema-7662	43	17	ℕ	ℕ	PROPN
ajema-7662	43	18	such	such	ADJ
ajema-7662	43	19	that	that	SCONJ
ajema-7662	43	20	g(x	g(x	NOUN
ajema-7662	43	21	,	,	PUNCT
ajema-7662	43	22	xn	xn	PROPN
ajema-7662	43	23	,	,	PUNCT
ajema-7662	43	24	xm	xm	PROPN
ajema-7662	43	25	)	)	PUNCT
ajema-7662	43	26	<	<	X
ajema-7662	43	27	ε	ε	PROPN
ajema-7662	43	28	for	for	ADP
ajema-7662	43	29	all	all	DET
ajema-7662	43	30	n	n	CCONJ
ajema-7662	43	31	,	,	PUNCT
ajema-7662	43	32	m	m	VERB
ajema-7662	43	33	≥	≥	NOUN
ajema-7662	43	34	n.	n.	NOUN
ajema-7662	43	35	we	we	PRON
ajema-7662	43	36	call	call	VERB
ajema-7662	43	37	x	x	VERB
ajema-7662	43	38	the	the	DET
ajema-7662	43	39	limit	limit	NOUN
ajema-7662	43	40	of	of	ADP
ajema-7662	43	41	the	the	DET
ajema-7662	43	42	sequence	sequence	NOUN
ajema-7662	43	43	{	{	PUNCT
ajema-7662	43	44	xn	xn	PUNCT
ajema-7662	43	45	}	}	PUNCT
ajema-7662	43	46	and	and	CCONJ
ajema-7662	43	47	write	write	VERB
ajema-7662	43	48	xn	xn	PROPN
ajema-7662	43	49	→	→	SYM
ajema-7662	43	50	x	x	X
ajema-7662	43	51	or	or	CCONJ
ajema-7662	43	52	lim_{n→∞	lim_{n→∞	X
ajema-7662	43	53	}	}	PUNCT
ajema-7662	43	54	xn	xn	PUNCT
ajema-7662	44	1	=	=	PUNCT
ajema-7662	44	2	x.	x.	NOUN
ajema-7662	44	3	definition	definition	NOUN
ajema-7662	44	4	2.3	2.3	NUM
ajema-7662	44	5	.	.	PUNCT
ajema-7662	45	1	(	(	PUNCT
ajema-7662	45	2	mustafa	mustafa	PROPN
ajema-7662	45	3	&	&	CCONJ
ajema-7662	45	4	sims	sim	NOUN
ajema-7662	45	5	,	,	PUNCT
ajema-7662	45	6	2006	2006	NUM
ajema-7662	45	7	)	)	PUNCT
ajema-7662	45	8	let	let	VERB
ajema-7662	45	9	(	(	PUNCT
ajema-7662	45	10	x	x	NOUN
ajema-7662	45	11	,	,	PUNCT
ajema-7662	45	12	g	g	NOUN
ajema-7662	45	13	)	)	PUNCT
ajema-7662	45	14	be	be	AUX
ajema-7662	45	15	a	a	DET
ajema-7662	45	16	g	g	NOUN
ajema-7662	45	17	-	-	PUNCT
ajema-7662	45	18	metric	metric	ADJ
ajema-7662	45	19	space	space	NOUN
ajema-7662	45	20	.	.	PUNCT
ajema-7662	46	1	a	a	DET
ajema-7662	46	2	sequence	sequence	NOUN
ajema-7662	46	3	{	{	PUNCT
ajema-7662	46	4	xn	xn	NOUN
ajema-7662	46	5	}	}	PUNCT
ajema-7662	46	6	is	be	AUX
ajema-7662	46	7	called	call	VERB
ajema-7662	46	8	a	a	DET
ajema-7662	46	9	g	g	NOUN
ajema-7662	46	10	-	-	PUNCT
ajema-7662	46	11	cauchy	cauchy	ADJ
ajema-7662	46	12	sequence	sequence	NOUN
ajema-7662	46	13	if	if	SCONJ
ajema-7662	46	14	,	,	PUNCT
ajema-7662	46	15	for	for	ADP
ajema-7662	46	16	any	any	DET
ajema-7662	46	17	ε	ε	PROPN
ajema-7662	46	18	>	>	X
ajema-7662	46	19	0	0	PROPN
ajema-7662	46	20	,	,	PUNCT
ajema-7662	46	21	there	there	PRON
ajema-7662	46	22	exists	exist	VERB
ajema-7662	46	23	n	n	PRON
ajema-7662	46	24	∈	∈	PROPN
ajema-7662	46	25	ℕ	ℕ	PROPN
ajema-7662	46	26	such	such	ADJ
ajema-7662	46	27	that	that	SCONJ
ajema-7662	46	28	g(xn	g(xn	NOUN
ajema-7662	46	29	,	,	PUNCT
ajema-7662	46	30	xm	xm	PROPN
ajema-7662	46	31	,	,	PUNCT
ajema-7662	46	32	xl	xl	PROPN
ajema-7662	46	33	)	)	PUNCT
ajema-7662	46	34	<	<	X
ajema-7662	46	35	ε	ε	PROPN
ajema-7662	46	36	for	for	ADP
ajema-7662	46	37	all	all	DET
ajema-7662	46	38	n	n	CCONJ
ajema-7662	46	39	,	,	PUNCT
ajema-7662	46	40	m	m	PROPN
ajema-7662	46	41	,	,	PUNCT
ajema-7662	46	42	l	l	PROPN
ajema-7662	46	43	≥	≥	NOUN
ajema-7662	46	44	n	n	CCONJ
ajema-7662	46	45	;	;	PUNCT
ajema-7662	46	46	that	that	PRON
ajema-7662	46	47	is	is	ADV
ajema-7662	46	48	,	,	PUNCT
ajema-7662	46	49	g(xn	g(xn	X
ajema-7662	46	50	,	,	PUNCT
ajema-7662	46	51	xm	xm	PROPN
ajema-7662	46	52	,	,	PUNCT
ajema-7662	46	53	xl	xl	PROPN
ajema-7662	46	54	)	)	PUNCT
ajema-7662	46	55	→	→	SYM
ajema-7662	46	56	0	0	NUM
ajema-7662	46	57	as	as	ADP
ajema-7662	46	58	n	n	CCONJ
ajema-7662	46	59	,	,	PUNCT
ajema-7662	46	60	m	m	PROPN
ajema-7662	46	61	,	,	PUNCT
ajema-7662	46	62	l	l	PROPN
ajema-7662	46	63	→	→	SYM
ajema-7662	46	64	∞.	∞.	PROPN
ajema-7662	46	65	definition	definition	NOUN
ajema-7662	46	66	2.4	2.4	NUM
ajema-7662	46	67	.	.	PUNCT
ajema-7662	47	1	(	(	PUNCT
ajema-7662	47	2	mustafa	mustafa	PROPN
ajema-7662	47	3	&	&	CCONJ
ajema-7662	47	4	sims	sim	NOUN
ajema-7662	47	5	,	,	PUNCT
ajema-7662	47	6	2006	2006	NUM
ajema-7662	47	7	)	)	PUNCT
ajema-7662	47	8	a	a	DET
ajema-7662	47	9	g	g	NOUN
ajema-7662	47	10	-	-	PUNCT
ajema-7662	47	11	metric	metric	ADJ
ajema-7662	47	12	space	space	NOUN
ajema-7662	47	13	(	(	PUNCT
ajema-7662	47	14	x	x	NOUN
ajema-7662	47	15	,	,	PUNCT
ajema-7662	47	16	g	g	NOUN
ajema-7662	47	17	)	)	PUNCT
ajema-7662	47	18	is	be	AUX
ajema-7662	47	19	called	call	VERB
ajema-7662	47	20	g	g	NOUN
ajema-7662	47	21	-	-	PUNCT
ajema-7662	47	22	complete	complete	ADJ
ajema-7662	47	23	if	if	SCONJ
ajema-7662	47	24	every	every	DET
ajema-7662	47	25	g	g	NOUN
ajema-7662	47	26	-	-	PUNCT
ajema-7662	47	27	cauchy	cauchy	ADJ
ajema-7662	47	28	sequence	sequence	NOUN
ajema-7662	47	29	in	in	ADP
ajema-7662	47	30	x	x	PROPN
ajema-7662	47	31	is	be	AUX
ajema-7662	47	32	g	g	NOUN
ajema-7662	47	33	-	-	PUNCT
ajema-7662	47	34	convergent	convergent	NOUN
ajema-7662	47	35	in	in	ADP
ajema-7662	47	36	x.	x.	NOUN
ajema-7662	47	37	the	the	DET
ajema-7662	47	38	following	follow	VERB
ajema-7662	47	39	lemma	lemma	PROPN
ajema-7662	47	40	establishes	establish	VERB
ajema-7662	47	41	an	an	DET
ajema-7662	47	42	important	important	ADJ
ajema-7662	47	43	relationship	relationship	NOUN
ajema-7662	47	44	between	between	ADP
ajema-7662	47	45	g	g	NOUN
ajema-7662	47	46	-	-	PUNCT
ajema-7662	47	47	metrics	metric	NOUN
ajema-7662	47	48	and	and	CCONJ
ajema-7662	47	49	standard	standard	ADJ
ajema-7662	47	50	metrics	metric	NOUN
ajema-7662	47	51	.	.	PUNCT
ajema-7662	48	1	171	171	NUM
ajema-7662	48	2	journal	journal	NOUN
ajema-7662	48	3	of	of	ADP
ajema-7662	48	4	engineering	engineering	NOUN
ajema-7662	48	5	,	,	PUNCT
ajema-7662	48	6	mechanics	mechanic	NOUN
ajema-7662	48	7	and	and	CCONJ
ajema-7662	48	8	architecture	architecture	NOUN
ajema-7662	48	9	www	www	NOUN
ajema-7662	48	10	.	.	PUNCT
ajema-7662	49	1	grnjournal.us	grnjournal.us	X
ajema-7662	49	2	lemma	lemma	PROPN
ajema-7662	49	3	2.5	2.5	NUM
ajema-7662	49	4	.	.	PUNCT
ajema-7662	50	1	(	(	PUNCT
ajema-7662	50	2	mustafa	mustafa	PROPN
ajema-7662	50	3	&	&	CCONJ
ajema-7662	50	4	sims	sim	NOUN
ajema-7662	50	5	,	,	PUNCT
ajema-7662	50	6	2006	2006	NUM
ajema-7662	50	7	)	)	PUNCT
ajema-7662	50	8	let	let	VERB
ajema-7662	50	9	(	(	PUNCT
ajema-7662	50	10	x	x	NOUN
ajema-7662	50	11	,	,	PUNCT
ajema-7662	50	12	g	g	NOUN
ajema-7662	50	13	)	)	PUNCT
ajema-7662	50	14	be	be	AUX
ajema-7662	50	15	a	a	DET
ajema-7662	50	16	g	g	NOUN
ajema-7662	50	17	-	-	PUNCT
ajema-7662	50	18	metric	metric	ADJ
ajema-7662	50	19	space	space	NOUN
ajema-7662	50	20	.	.	PUNCT
ajema-7662	51	1	then	then	ADV
ajema-7662	51	2	the	the	DET
ajema-7662	51	3	function	function	NOUN
ajema-7662	51	4	dg	dg	VERB
ajema-7662	51	5	:	:	PUNCT
ajema-7662	51	6	x	x	X
ajema-7662	51	7	×	×	NOUN
ajema-7662	51	8	x	x	INTJ
ajema-7662	51	9	→	→	SYM
ajema-7662	52	1	[	[	X
ajema-7662	52	2	0	0	NUM
ajema-7662	52	3	,	,	PUNCT
ajema-7662	52	4	∞	∞	NOUN
ajema-7662	52	5	)	)	PUNCT
ajema-7662	52	6	defined	define	VERB
ajema-7662	52	7	by	by	ADP
ajema-7662	52	8	dg(x	dg(x	NUM
ajema-7662	52	9	,	,	PUNCT
ajema-7662	52	10	y	y	NOUN
ajema-7662	52	11	)	)	PUNCT
ajema-7662	52	12	=	=	SYM
ajema-7662	52	13	g(x	g(x	NOUN
ajema-7662	52	14	,	,	PUNCT
ajema-7662	52	15	y	y	PROPN
ajema-7662	52	16	,	,	PUNCT
ajema-7662	52	17	y	y	NOUN
ajema-7662	52	18	)	)	PUNCT
ajema-7662	53	1	+	+	CCONJ
ajema-7662	53	2	g(y	g(y	NOUN
ajema-7662	53	3	,	,	PUNCT
ajema-7662	53	4	x	x	X
ajema-7662	53	5	,	,	PUNCT
ajema-7662	53	6	x	x	X
ajema-7662	53	7	)	)	PUNCT
ajema-7662	53	8	for	for	ADP
ajema-7662	53	9	all	all	DET
ajema-7662	53	10	x	x	NOUN
ajema-7662	53	11	,	,	PUNCT
ajema-7662	53	12	y	y	PROPN
ajema-7662	53	13	∈	∈	PROPN
ajema-7662	53	14	x	x	X
ajema-7662	53	15	is	be	AUX
ajema-7662	53	16	a	a	DET
ajema-7662	53	17	metric	metric	NOUN
ajema-7662	53	18	on	on	ADP
ajema-7662	53	19	x.	x.	PROPN
ajema-7662	53	20	2.2	2.2	NUM
ajema-7662	53	21	.	.	PUNCT
ajema-7662	54	1	weakly	weakly	ADJ
ajema-7662	54	2	contractive	contractive	ADJ
ajema-7662	54	3	mappings	mapping	NOUN
ajema-7662	54	4	now	now	ADV
ajema-7662	54	5	,	,	PUNCT
ajema-7662	54	6	we	we	PRON
ajema-7662	54	7	recall	recall	VERB
ajema-7662	54	8	the	the	DET
ajema-7662	54	9	notion	notion	NOUN
ajema-7662	54	10	of	of	ADP
ajema-7662	54	11	weakly	weakly	ADJ
ajema-7662	54	12	contractive	contractive	ADJ
ajema-7662	54	13	mappings	mapping	NOUN
ajema-7662	54	14	,	,	PUNCT
ajema-7662	54	15	which	which	PRON
ajema-7662	54	16	generalize	generalize	VERB
ajema-7662	54	17	the	the	DET
ajema-7662	54	18	classical	classical	ADJ
ajema-7662	54	19	contraction	contraction	NOUN
ajema-7662	54	20	mappings	mapping	NOUN
ajema-7662	54	21	.	.	PUNCT
ajema-7662	55	1	definition	definition	NOUN
ajema-7662	55	2	2.6	2.6	NUM
ajema-7662	55	3	.	.	PUNCT
ajema-7662	56	1	(	(	PUNCT
ajema-7662	56	2	alber	alber	PROPN
ajema-7662	56	3	&	&	CCONJ
ajema-7662	56	4	guerre	guerre	PROPN
ajema-7662	56	5	-	-	PUNCT
ajema-7662	56	6	delabriere	delabriere	PROPN
ajema-7662	56	7	,	,	PUNCT
ajema-7662	56	8	1997	1997	NUM
ajema-7662	56	9	;	;	PUNCT
ajema-7662	56	10	rhoades	rhoade	NOUN
ajema-7662	56	11	,	,	PUNCT
ajema-7662	56	12	2001	2001	NUM
ajema-7662	56	13	)	)	PUNCT
ajema-7662	56	14	let	let	AUX
ajema-7662	56	15	(	(	PUNCT
ajema-7662	56	16	x	x	NOUN
ajema-7662	56	17	,	,	PUNCT
ajema-7662	56	18	d	d	NOUN
ajema-7662	56	19	)	)	PUNCT
ajema-7662	56	20	be	be	AUX
ajema-7662	56	21	a	a	DET
ajema-7662	56	22	metric	metric	ADJ
ajema-7662	56	23	space	space	NOUN
ajema-7662	56	24	.	.	PUNCT
ajema-7662	57	1	a	a	DET
ajema-7662	57	2	mapping	mapping	NOUN
ajema-7662	57	3	t	t	NOUN
ajema-7662	57	4	:	:	PUNCT
ajema-7662	57	5	x	x	SYM
ajema-7662	57	6	→	→	PUNCT
ajema-7662	57	7	x	x	X
ajema-7662	57	8	is	be	AUX
ajema-7662	57	9	called	call	VERB
ajema-7662	57	10	weakly	weakly	ADV
ajema-7662	57	11	contractive	contractive	ADJ
ajema-7662	57	12	if	if	SCONJ
ajema-7662	57	13	there	there	PRON
ajema-7662	57	14	exists	exist	VERB
ajema-7662	57	15	a	a	DET
ajema-7662	57	16	function	function	NOUN
ajema-7662	57	17	φ	φ	NOUN
ajema-7662	57	18	:	:	PUNCT
ajema-7662	58	1	[	[	X
ajema-7662	58	2	0	0	NUM
ajema-7662	58	3	,	,	PUNCT
ajema-7662	58	4	∞	∞	PROPN
ajema-7662	58	5	)	)	PUNCT
ajema-7662	58	6	→	→	PUNCT
ajema-7662	59	1	[	[	X
ajema-7662	59	2	0	0	NUM
ajema-7662	59	3	,	,	PUNCT
ajema-7662	59	4	∞	∞	PROPN
ajema-7662	59	5	)	)	PUNCT
ajema-7662	59	6	with	with	ADP
ajema-7662	59	7	φ(0	φ(0	ADJ
ajema-7662	59	8	)	)	PUNCT
ajema-7662	59	9	=	=	SYM
ajema-7662	59	10	0	0	NUM
ajema-7662	59	11	and	and	CCONJ
ajema-7662	59	12	φ(t	φ(t	PROPN
ajema-7662	59	13	)	)	PUNCT
ajema-7662	59	14	>	>	X
ajema-7662	59	15	0	0	PUNCT
ajema-7662	59	16	for	for	ADP
ajema-7662	59	17	all	all	DET
ajema-7662	59	18	t	t	PROPN
ajema-7662	59	19	>	>	X
ajema-7662	59	20	0	0	NUM
ajema-7662	59	21	such	such	ADJ
ajema-7662	59	22	that	that	SCONJ
ajema-7662	59	23	d(tx	d(tx	PROPN
ajema-7662	59	24	,	,	PUNCT
ajema-7662	59	25	ty	ty	NOUN
ajema-7662	59	26	)	)	PUNCT
ajema-7662	59	27	≤	≤	NOUN
ajema-7662	59	28	d(x	d(x	PROPN
ajema-7662	59	29	,	,	PUNCT
ajema-7662	59	30	y	y	NOUN
ajema-7662	59	31	)	)	PUNCT
ajema-7662	59	32	φ(d(x	φ(d(x	PROPN
ajema-7662	59	33	,	,	PUNCT
ajema-7662	59	34	y	y	NOUN
ajema-7662	59	35	)	)	PUNCT
ajema-7662	59	36	)	)	PUNCT
ajema-7662	59	37	for	for	ADP
ajema-7662	59	38	all	all	DET
ajema-7662	59	39	x	x	NOUN
ajema-7662	59	40	,	,	PUNCT
ajema-7662	59	41	y	y	PROPN
ajema-7662	59	42	∈	∈	PROPN
ajema-7662	59	43	x.	x.	NOUN
ajema-7662	60	1	the	the	DET
ajema-7662	60	2	function	function	NOUN
ajema-7662	60	3	φ	φ	PROPN
ajema-7662	60	4	is	be	AUX
ajema-7662	60	5	often	often	ADV
ajema-7662	60	6	required	require	VERB
ajema-7662	60	7	to	to	PART
ajema-7662	60	8	be	be	AUX
ajema-7662	60	9	lower	low	ADJ
ajema-7662	60	10	semi	semi	ADJ
ajema-7662	60	11	-	-	ADJ
ajema-7662	60	12	continuous	continuous	ADJ
ajema-7662	60	13	to	to	PART
ajema-7662	60	14	ensure	ensure	VERB
ajema-7662	60	15	the	the	DET
ajema-7662	60	16	existence	existence	NOUN
ajema-7662	60	17	of	of	ADP
ajema-7662	60	18	fixed	fix	VERB
ajema-7662	60	19	points	point	NOUN
ajema-7662	60	20	.	.	PUNCT
ajema-7662	61	1	this	this	DET
ajema-7662	61	2	concept	concept	NOUN
ajema-7662	61	3	has	have	AUX
ajema-7662	61	4	been	be	AUX
ajema-7662	61	5	extensively	extensively	ADV
ajema-7662	61	6	studied	study	VERB
ajema-7662	61	7	in	in	ADP
ajema-7662	61	8	the	the	DET
ajema-7662	61	9	literature	literature	NOUN
ajema-7662	61	10	and	and	CCONJ
ajema-7662	61	11	has	have	AUX
ajema-7662	61	12	led	lead	VERB
ajema-7662	61	13	to	to	ADP
ajema-7662	61	14	numerous	numerous	ADJ
ajema-7662	61	15	generalizations	generalization	NOUN
ajema-7662	61	16	,	,	PUNCT
ajema-7662	61	17	including	include	VERB
ajema-7662	61	18	the	the	DET
ajema-7662	61	19	notion	notion	NOUN
ajema-7662	61	20	of	of	ADP
ajema-7662	61	21	φ	φ	VERB
ajema-7662	61	22	-	-	PUNCT
ajema-7662	61	23	weak	weak	ADJ
ajema-7662	61	24	contractions	contraction	NOUN
ajema-7662	61	25	and	and	CCONJ
ajema-7662	61	26	generalized	generalize	VERB
ajema-7662	61	27	weak	weak	ADJ
ajema-7662	61	28	contractions	contraction	NOUN
ajema-7662	61	29	.	.	PUNCT
ajema-7662	62	1	definition	definition	NOUN
ajema-7662	62	2	2.7	2.7	NUM
ajema-7662	62	3	.	.	PUNCT
ajema-7662	63	1	a	a	DET
ajema-7662	63	2	mapping	mapping	NOUN
ajema-7662	63	3	t	t	NOUN
ajema-7662	63	4	:	:	PUNCT
ajema-7662	63	5	x	x	SYM
ajema-7662	63	6	→	→	SYM
ajema-7662	63	7	x	x	X
ajema-7662	63	8	on	on	ADP
ajema-7662	63	9	a	a	DET
ajema-7662	63	10	metric	metric	ADJ
ajema-7662	63	11	space	space	NOUN
ajema-7662	63	12	(	(	PUNCT
ajema-7662	63	13	x	x	X
ajema-7662	63	14	,	,	PUNCT
ajema-7662	63	15	d	d	NOUN
ajema-7662	63	16	)	)	PUNCT
ajema-7662	63	17	is	be	AUX
ajema-7662	63	18	called	call	VERB
ajema-7662	63	19	a	a	DET
ajema-7662	63	20	φ	φ	VERB
ajema-7662	63	21	-	-	PUNCT
ajema-7662	63	22	weak	weak	ADJ
ajema-7662	63	23	contraction	contraction	NOUN
ajema-7662	63	24	if	if	SCONJ
ajema-7662	63	25	there	there	PRON
ajema-7662	63	26	exists	exist	VERB
ajema-7662	63	27	a	a	DET
ajema-7662	63	28	function	function	NOUN
ajema-7662	63	29	φ	φ	NOUN
ajema-7662	63	30	:	:	PUNCT
ajema-7662	64	1	[	[	X
ajema-7662	64	2	0	0	NUM
ajema-7662	64	3	,	,	PUNCT
ajema-7662	64	4	∞	∞	PROPN
ajema-7662	64	5	)	)	PUNCT
ajema-7662	64	6	→	→	PUNCT
ajema-7662	65	1	[	[	X
ajema-7662	65	2	0	0	NUM
ajema-7662	65	3	,	,	PUNCT
ajema-7662	65	4	∞	∞	PROPN
ajema-7662	65	5	)	)	PUNCT
ajema-7662	65	6	with	with	ADP
ajema-7662	65	7	φ	φ	PROPN
ajema-7662	65	8	continuous	continuous	ADJ
ajema-7662	65	9	,	,	PUNCT
ajema-7662	65	10	φ(0	φ(0	ADJ
ajema-7662	65	11	)	)	PUNCT
ajema-7662	65	12	=	=	SYM
ajema-7662	65	13	0	0	NUM
ajema-7662	65	14	,	,	PUNCT
ajema-7662	65	15	and	and	CCONJ
ajema-7662	65	16	φ(t	φ(t	PROPN
ajema-7662	65	17	)	)	PUNCT
ajema-7662	65	18	>	>	X
ajema-7662	65	19	0	0	PUNCT
ajema-7662	65	20	for	for	ADP
ajema-7662	65	21	all	all	DET
ajema-7662	65	22	t	t	PROPN
ajema-7662	65	23	>	>	X
ajema-7662	65	24	0	0	NUM
ajema-7662	65	25	such	such	ADJ
ajema-7662	65	26	that	that	SCONJ
ajema-7662	65	27	d(tx	d(tx	PROPN
ajema-7662	65	28	,	,	PUNCT
ajema-7662	65	29	ty	ty	NOUN
ajema-7662	65	30	)	)	PUNCT
ajema-7662	65	31	≤	≤	NOUN
ajema-7662	65	32	m(x	m(x	PROPN
ajema-7662	65	33	,	,	PUNCT
ajema-7662	65	34	y	y	NOUN
ajema-7662	65	35	)	)	PUNCT
ajema-7662	65	36	φ(m(x	φ(m(x	PROPN
ajema-7662	65	37	,	,	PUNCT
ajema-7662	65	38	y	y	NOUN
ajema-7662	65	39	)	)	PUNCT
ajema-7662	65	40	)	)	PUNCT
ajema-7662	65	41	for	for	ADP
ajema-7662	65	42	all	all	DET
ajema-7662	65	43	x	x	NOUN
ajema-7662	65	44	,	,	PUNCT
ajema-7662	65	45	y	y	PROPN
ajema-7662	65	46	∈	∈	PROPN
ajema-7662	65	47	x	x	NOUN
ajema-7662	65	48	,	,	PUNCT
ajema-7662	65	49	where	where	SCONJ
ajema-7662	65	50	m(x	m(x	PROPN
ajema-7662	65	51	,	,	PUNCT
ajema-7662	65	52	y	y	NOUN
ajema-7662	65	53	)	)	PUNCT
ajema-7662	65	54	=	=	PUNCT
ajema-7662	65	55	max{d(x	max{d(x	PROPN
ajema-7662	65	56	,	,	PUNCT
ajema-7662	65	57	y	y	NOUN
ajema-7662	65	58	)	)	PUNCT
ajema-7662	65	59	,	,	PUNCT
ajema-7662	65	60	d(x	d(x	PROPN
ajema-7662	65	61	,	,	PUNCT
ajema-7662	65	62	tx	tx	PROPN
ajema-7662	65	63	)	)	PUNCT
ajema-7662	65	64	,	,	PUNCT
ajema-7662	65	65	d(y	d(y	PROPN
ajema-7662	65	66	,	,	PUNCT
ajema-7662	65	67	ty	ty	NOUN
ajema-7662	65	68	)	)	PUNCT
ajema-7662	65	69	,	,	PUNCT
ajema-7662	66	1	[	[	X
ajema-7662	66	2	d(x	d(x	NOUN
ajema-7662	66	3	,	,	PUNCT
ajema-7662	66	4	ty	ty	INTJ
ajema-7662	66	5	)	)	PUNCT
ajema-7662	66	6	+	+	CCONJ
ajema-7662	66	7	d(y	d(y	NOUN
ajema-7662	66	8	,	,	PUNCT
ajema-7662	66	9	tx)]/2	tx)]/2	NOUN
ajema-7662	66	10	}	}	PUNCT
ajema-7662	66	11	.	.	PUNCT
ajema-7662	67	1	in	in	ADP
ajema-7662	67	2	the	the	DET
ajema-7662	67	3	next	next	ADJ
ajema-7662	67	4	section	section	NOUN
ajema-7662	67	5	,	,	PUNCT
ajema-7662	67	6	we	we	PRON
ajema-7662	67	7	extend	extend	VERB
ajema-7662	67	8	these	these	DET
ajema-7662	67	9	concepts	concept	NOUN
ajema-7662	67	10	to	to	ADP
ajema-7662	67	11	the	the	DET
ajema-7662	67	12	framework	framework	NOUN
ajema-7662	67	13	of	of	ADP
ajema-7662	67	14	g	g	NOUN
ajema-7662	67	15	-	-	PUNCT
ajema-7662	67	16	metric	metric	ADJ
ajema-7662	67	17	spaces	space	NOUN
ajema-7662	67	18	and	and	CCONJ
ajema-7662	67	19	establish	establish	VERB
ajema-7662	67	20	fixed	fix	VERB
ajema-7662	67	21	point	point	NOUN
ajema-7662	67	22	theorems	theorem	NOUN
ajema-7662	67	23	for	for	ADP
ajema-7662	67	24	weakly	weakly	ADJ
ajema-7662	67	25	contractive	contractive	ADJ
ajema-7662	67	26	mappings	mapping	NOUN
ajema-7662	67	27	in	in	ADP
ajema-7662	67	28	this	this	DET
ajema-7662	67	29	generalized	generalized	ADJ
ajema-7662	67	30	setting	setting	NOUN
ajema-7662	67	31	.	.	PUNCT
ajema-7662	68	1	3	3	X
ajema-7662	68	2	.	.	X
ajema-7662	68	3	main	main	ADJ
ajema-7662	68	4	results	result	NOUN
ajema-7662	68	5	in	in	ADP
ajema-7662	68	6	this	this	DET
ajema-7662	68	7	section	section	NOUN
ajema-7662	68	8	,	,	PUNCT
ajema-7662	68	9	we	we	PRON
ajema-7662	68	10	present	present	VERB
ajema-7662	68	11	our	our	PRON
ajema-7662	68	12	main	main	ADJ
ajema-7662	68	13	fixed	fix	VERB
ajema-7662	68	14	point	point	NOUN
ajema-7662	68	15	theorems	theorem	NOUN
ajema-7662	68	16	for	for	ADP
ajema-7662	68	17	weakly	weakly	ADJ
ajema-7662	68	18	contractive	contractive	ADJ
ajema-7662	68	19	mappings	mapping	NOUN
ajema-7662	68	20	in	in	ADP
ajema-7662	68	21	gmetric	gmetric	ADJ
ajema-7662	68	22	spaces	space	NOUN
ajema-7662	68	23	.	.	PUNCT
ajema-7662	69	1	we	we	PRON
ajema-7662	69	2	begin	begin	VERB
ajema-7662	69	3	by	by	ADP
ajema-7662	69	4	introducing	introduce	VERB
ajema-7662	69	5	the	the	DET
ajema-7662	69	6	concept	concept	NOUN
ajema-7662	69	7	of	of	ADP
ajema-7662	69	8	weakly	weakly	ADJ
ajema-7662	69	9	contractive	contractive	ADJ
ajema-7662	69	10	mappings	mapping	NOUN
ajema-7662	69	11	in	in	ADP
ajema-7662	69	12	the	the	DET
ajema-7662	69	13	context	context	NOUN
ajema-7662	69	14	of	of	ADP
ajema-7662	69	15	g	g	NOUN
ajema-7662	69	16	-	-	PUNCT
ajema-7662	69	17	metric	metric	ADJ
ajema-7662	69	18	spaces	space	NOUN
ajema-7662	69	19	.	.	PUNCT
ajema-7662	70	1	definition	definition	NOUN
ajema-7662	70	2	3.1	3.1	NUM
ajema-7662	70	3	.	.	PUNCT
ajema-7662	71	1	let	let	AUX
ajema-7662	71	2	(	(	PUNCT
ajema-7662	71	3	x	x	NOUN
ajema-7662	71	4	,	,	PUNCT
ajema-7662	71	5	g	g	NOUN
ajema-7662	71	6	)	)	PUNCT
ajema-7662	71	7	be	be	AUX
ajema-7662	71	8	a	a	DET
ajema-7662	71	9	g	g	NOUN
ajema-7662	71	10	-	-	PUNCT
ajema-7662	71	11	metric	metric	ADJ
ajema-7662	71	12	space	space	NOUN
ajema-7662	71	13	.	.	PUNCT
ajema-7662	72	1	a	a	DET
ajema-7662	72	2	mapping	mapping	NOUN
ajema-7662	72	3	t	t	NOUN
ajema-7662	72	4	:	:	PUNCT
ajema-7662	72	5	x	x	SYM
ajema-7662	72	6	→	→	PUNCT
ajema-7662	72	7	x	x	X
ajema-7662	72	8	is	be	AUX
ajema-7662	72	9	said	say	VERB
ajema-7662	72	10	to	to	PART
ajema-7662	72	11	be	be	AUX
ajema-7662	72	12	a	a	DET
ajema-7662	72	13	g	g	NOUN
ajema-7662	72	14	-	-	PUNCT
ajema-7662	72	15	weakly	weakly	ADV
ajema-7662	72	16	contractive	contractive	ADJ
ajema-7662	72	17	mapping	mapping	NOUN
ajema-7662	72	18	if	if	SCONJ
ajema-7662	72	19	there	there	PRON
ajema-7662	72	20	exists	exist	VERB
ajema-7662	72	21	a	a	DET
ajema-7662	72	22	function	function	NOUN
ajema-7662	72	23	φ	φ	NOUN
ajema-7662	72	24	:	:	PUNCT
ajema-7662	73	1	[	[	X
ajema-7662	73	2	0	0	NUM
ajema-7662	73	3	,	,	PUNCT
ajema-7662	73	4	∞	∞	PROPN
ajema-7662	73	5	)	)	PUNCT
ajema-7662	73	6	→	→	PUNCT
ajema-7662	74	1	[	[	X
ajema-7662	74	2	0	0	NUM
ajema-7662	74	3	,	,	PUNCT
ajema-7662	74	4	∞	∞	PROPN
ajema-7662	74	5	)	)	PUNCT
ajema-7662	74	6	with	with	ADP
ajema-7662	74	7	φ	φ	PROPN
ajema-7662	74	8	continuous	continuous	ADJ
ajema-7662	74	9	,	,	PUNCT
ajema-7662	74	10	φ(0	φ(0	ADJ
ajema-7662	74	11	)	)	PUNCT
ajema-7662	74	12	=	=	SYM
ajema-7662	74	13	0	0	NUM
ajema-7662	74	14	,	,	PUNCT
ajema-7662	74	15	and	and	CCONJ
ajema-7662	74	16	φ(t	φ(t	PROPN
ajema-7662	74	17	)	)	PUNCT
ajema-7662	74	18	>	>	X
ajema-7662	74	19	0	0	PUNCT
ajema-7662	74	20	for	for	ADP
ajema-7662	74	21	all	all	DET
ajema-7662	74	22	t	t	PROPN
ajema-7662	74	23	>	>	X
ajema-7662	74	24	0	0	NUM
ajema-7662	74	25	such	such	ADJ
ajema-7662	74	26	that	that	SCONJ
ajema-7662	74	27	g(tx	g(tx	PROPN
ajema-7662	74	28	,	,	PUNCT
ajema-7662	74	29	ty	ty	INTJ
ajema-7662	74	30	,	,	PUNCT
ajema-7662	74	31	tz	tz	NOUN
ajema-7662	74	32	)	)	PUNCT
ajema-7662	74	33	≤	≤	NOUN
ajema-7662	74	34	g(x	g(x	NOUN
ajema-7662	74	35	,	,	PUNCT
ajema-7662	74	36	y	y	PROPN
ajema-7662	74	37	,	,	PUNCT
ajema-7662	74	38	z	z	NOUN
ajema-7662	74	39	)	)	PUNCT
ajema-7662	74	40	φ(g(x	φ(g(x	PROPN
ajema-7662	74	41	,	,	PUNCT
ajema-7662	74	42	y	y	PROPN
ajema-7662	74	43	,	,	PUNCT
ajema-7662	74	44	z	z	NOUN
ajema-7662	74	45	)	)	PUNCT
ajema-7662	74	46	)	)	PUNCT
ajema-7662	74	47	for	for	ADP
ajema-7662	74	48	all	all	DET
ajema-7662	74	49	x	x	PROPN
ajema-7662	74	50	,	,	PUNCT
ajema-7662	74	51	y	y	PROPN
ajema-7662	74	52	,	,	PUNCT
ajema-7662	74	53	z	z	PROPN
ajema-7662	74	54	∈	∈	PROPN
ajema-7662	74	55	x.	x.	NOUN
ajema-7662	74	56	our	our	PRON
ajema-7662	74	57	first	first	ADJ
ajema-7662	74	58	result	result	NOUN
ajema-7662	74	59	establishes	establish	VERB
ajema-7662	74	60	the	the	DET
ajema-7662	74	61	existence	existence	NOUN
ajema-7662	74	62	of	of	ADP
ajema-7662	74	63	fixed	fix	VERB
ajema-7662	74	64	points	point	NOUN
ajema-7662	74	65	for	for	ADP
ajema-7662	74	66	g	g	NOUN
ajema-7662	74	67	-	-	PUNCT
ajema-7662	74	68	weakly	weakly	ADV
ajema-7662	74	69	contractive	contractive	ADJ
ajema-7662	74	70	mappings	mapping	NOUN
ajema-7662	74	71	.	.	PUNCT
ajema-7662	75	1	theorem	theorem	NOUN
ajema-7662	75	2	3.2	3.2	NUM
ajema-7662	75	3	.	.	PUNCT
ajema-7662	76	1	let	let	AUX
ajema-7662	76	2	(	(	PUNCT
ajema-7662	76	3	x	x	NOUN
ajema-7662	76	4	,	,	PUNCT
ajema-7662	76	5	g	g	NOUN
ajema-7662	76	6	)	)	PUNCT
ajema-7662	76	7	be	be	AUX
ajema-7662	76	8	a	a	DET
ajema-7662	76	9	complete	complete	ADJ
ajema-7662	76	10	g	g	NOUN
ajema-7662	76	11	-	-	PUNCT
ajema-7662	76	12	metric	metric	ADJ
ajema-7662	76	13	space	space	NOUN
ajema-7662	76	14	and	and	CCONJ
ajema-7662	76	15	let	let	VERB
ajema-7662	76	16	t	t	NOUN
ajema-7662	76	17	:	:	PUNCT
ajema-7662	76	18	x	x	SYM
ajema-7662	76	19	→	→	PUNCT
ajema-7662	76	20	x	x	PUNCT
ajema-7662	76	21	be	be	AUX
ajema-7662	76	22	a	a	DET
ajema-7662	76	23	g	g	NOUN
ajema-7662	76	24	-	-	PUNCT
ajema-7662	76	25	weakly	weakly	ADV
ajema-7662	76	26	contractive	contractive	ADJ
ajema-7662	76	27	mapping	mapping	NOUN
ajema-7662	76	28	.	.	PUNCT
ajema-7662	77	1	then	then	ADV
ajema-7662	77	2	t	t	PROPN
ajema-7662	77	3	has	have	VERB
ajema-7662	77	4	a	a	DET
ajema-7662	77	5	unique	unique	ADJ
ajema-7662	77	6	fixed	fix	VERB
ajema-7662	77	7	point	point	NOUN
ajema-7662	77	8	x	x	X
ajema-7662	77	9	*	*	PUNCT
ajema-7662	77	10	∈	∈	X
ajema-7662	77	11	x	x	NOUN
ajema-7662	77	12	,	,	PUNCT
ajema-7662	77	13	and	and	CCONJ
ajema-7662	77	14	for	for	ADP
ajema-7662	77	15	any	any	DET
ajema-7662	77	16	x0	x0	PROPN
ajema-7662	77	17	∈	∈	PROPN
ajema-7662	77	18	x	x	PRON
ajema-7662	77	19	,	,	PUNCT
ajema-7662	77	20	the	the	DET
ajema-7662	77	21	sequence	sequence	NOUN
ajema-7662	77	22	{	{	PUNCT
ajema-7662	77	23	t^n	t^n	NOUN
ajema-7662	77	24	x0	x0	ADJ
ajema-7662	77	25	}	}	PUNCT
ajema-7662	77	26	converges	converge	VERB
ajema-7662	77	27	to	to	ADP
ajema-7662	77	28	x	x	X
ajema-7662	77	29	*	*	NOUN
ajema-7662	77	30	.	.	PUNCT
ajema-7662	78	1	proof	proof	NOUN
ajema-7662	78	2	.	.	PUNCT
ajema-7662	79	1	let	let	VERB
ajema-7662	79	2	x0	x0	PROPN
ajema-7662	79	3	∈	∈	PROPN
ajema-7662	79	4	x	x	AUX
ajema-7662	79	5	be	be	AUX
ajema-7662	79	6	arbitrary	arbitrary	ADJ
ajema-7662	79	7	and	and	CCONJ
ajema-7662	79	8	define	define	VERB
ajema-7662	79	9	the	the	DET
ajema-7662	79	10	sequence	sequence	NOUN
ajema-7662	79	11	{	{	PUNCT
ajema-7662	79	12	xn	xn	VERB
ajema-7662	79	13	}	}	PUNCT
ajema-7662	79	14	by	by	ADP
ajema-7662	79	15	xn+1	xn+1	PROPN
ajema-7662	79	16	=	=	SYM
ajema-7662	79	17	txn	txn	NOUN
ajema-7662	79	18	for	for	ADP
ajema-7662	79	19	n	n	X
ajema-7662	79	20	≥	≥	NOUN
ajema-7662	79	21	0	0	NUM
ajema-7662	79	22	.	.	PUNCT
ajema-7662	80	1	if	if	SCONJ
ajema-7662	80	2	there	there	PRON
ajema-7662	80	3	exists	exist	VERB
ajema-7662	80	4	n0	n0	NUM
ajema-7662	80	5	such	such	ADJ
ajema-7662	80	6	that	that	SCONJ
ajema-7662	80	7	xn0	xn0	PROPN
ajema-7662	81	1	+	+	ADJ
ajema-7662	81	2	1	1	NUM
ajema-7662	81	3	=	=	SYM
ajema-7662	81	4	xn0	xn0	PROPN
ajema-7662	81	5	,	,	PUNCT
ajema-7662	81	6	then	then	ADV
ajema-7662	81	7	xn0	xn0	PROPN
ajema-7662	81	8	is	be	AUX
ajema-7662	81	9	a	a	DET
ajema-7662	81	10	fixed	fix	VERB
ajema-7662	81	11	point	point	NOUN
ajema-7662	81	12	of	of	ADP
ajema-7662	81	13	t	t	PROPN
ajema-7662	81	14	,	,	PUNCT
ajema-7662	81	15	and	and	CCONJ
ajema-7662	81	16	we	we	PRON
ajema-7662	81	17	are	be	AUX
ajema-7662	81	18	done	do	VERB
ajema-7662	81	19	.	.	PUNCT
ajema-7662	82	1	so	so	ADV
ajema-7662	82	2	,	,	PUNCT
ajema-7662	82	3	assume	assume	VERB
ajema-7662	82	4	that	that	SCONJ
ajema-7662	82	5	xn+1	xn+1	ADV
ajema-7662	82	6	≠	≠	PROPN
ajema-7662	82	7	xn	xn	NUM
ajema-7662	82	8	for	for	ADP
ajema-7662	82	9	all	all	DET
ajema-7662	82	10	n	n	PRON
ajema-7662	82	11	≥	≥	NOUN
ajema-7662	82	12	0	0	NUM
ajema-7662	82	13	.	.	PUNCT
ajema-7662	83	1	we	we	PRON
ajema-7662	83	2	first	first	ADV
ajema-7662	83	3	show	show	VERB
ajema-7662	83	4	that	that	SCONJ
ajema-7662	83	5	the	the	DET
ajema-7662	83	6	sequence	sequence	NOUN
ajema-7662	83	7	{	{	PUNCT
ajema-7662	83	8	g(xn	g(xn	X
ajema-7662	83	9	,	,	PUNCT
ajema-7662	83	10	xn+1	xn+1	NUM
ajema-7662	83	11	,	,	PUNCT
ajema-7662	83	12	xn+1	xn+1	NUM
ajema-7662	83	13	)	)	PUNCT
ajema-7662	83	14	}	}	PUNCT
ajema-7662	83	15	is	be	AUX
ajema-7662	83	16	decreasing	decrease	VERB
ajema-7662	83	17	and	and	CCONJ
ajema-7662	83	18	converges	converge	VERB
ajema-7662	83	19	to	to	ADP
ajema-7662	83	20	0	0	NUM
ajema-7662	83	21	.	.	PUNCT
ajema-7662	84	1	by	by	ADP
ajema-7662	84	2	the	the	DET
ajema-7662	84	3	g	g	NOUN
ajema-7662	84	4	-	-	PUNCT
ajema-7662	84	5	weak	weak	ADJ
ajema-7662	84	6	contractivity	contractivity	NOUN
ajema-7662	84	7	of	of	ADP
ajema-7662	84	8	t	t	PROPN
ajema-7662	84	9	,	,	PUNCT
ajema-7662	84	10	we	we	PRON
ajema-7662	84	11	have	have	VERB
ajema-7662	84	12	g(xn+1	g(xn+1	NOUN
ajema-7662	84	13	,	,	PUNCT
ajema-7662	84	14	xn+2	xn+2	NUM
ajema-7662	84	15	,	,	PUNCT
ajema-7662	84	16	xn+2	xn+2	NUM
ajema-7662	84	17	)	)	PUNCT
ajema-7662	84	18	=	=	SYM
ajema-7662	84	19	g(txn	g(txn	PROPN
ajema-7662	84	20	,	,	PUNCT
ajema-7662	84	21	txn+1	txn+1	NOUN
ajema-7662	84	22	,	,	PUNCT
ajema-7662	84	23	txn+1	txn+1	NOUN
ajema-7662	84	24	)	)	PUNCT
ajema-7662	84	25	≤	≤	NOUN
ajema-7662	84	26	g(xn	g(xn	NOUN
ajema-7662	84	27	,	,	PUNCT
ajema-7662	84	28	xn+1	xn+1	PROPN
ajema-7662	84	29	,	,	PUNCT
ajema-7662	84	30	xn+1	xn+1	NUM
ajema-7662	84	31	)	)	PUNCT
ajema-7662	84	32	φ(g(xn	φ(g(xn	NOUN
ajema-7662	84	33	,	,	PUNCT
ajema-7662	84	34	xn+1	xn+1	NUM
ajema-7662	84	35	,	,	PUNCT
ajema-7662	84	36	xn+1	xn+1	NUM
ajema-7662	84	37	)	)	PUNCT
ajema-7662	84	38	)	)	PUNCT
ajema-7662	85	1	<	<	X
ajema-7662	85	2	g(xn	g(xn	NOUN
ajema-7662	85	3	,	,	PUNCT
ajema-7662	85	4	xn+1	xn+1	NUM
ajema-7662	85	5	,	,	PUNCT
ajema-7662	85	6	xn+1	xn+1	X
ajema-7662	85	7	)	)	PUNCT
ajema-7662	85	8	this	this	PRON
ajema-7662	85	9	shows	show	VERB
ajema-7662	85	10	that	that	SCONJ
ajema-7662	85	11	{	{	PUNCT
ajema-7662	85	12	g(xn	g(xn	NOUN
ajema-7662	85	13	,	,	PUNCT
ajema-7662	85	14	xn+1	xn+1	NUM
ajema-7662	85	15	,	,	PUNCT
ajema-7662	85	16	xn+1	xn+1	NUM
ajema-7662	85	17	)	)	PUNCT
ajema-7662	85	18	}	}	PUNCT
ajema-7662	85	19	is	be	AUX
ajema-7662	85	20	a	a	DET
ajema-7662	85	21	decreasing	decrease	VERB
ajema-7662	85	22	sequence	sequence	NOUN
ajema-7662	85	23	of	of	ADP
ajema-7662	85	24	non	non	ADJ
ajema-7662	85	25	-	-	ADJ
ajema-7662	85	26	negative	negative	ADJ
ajema-7662	85	27	real	real	ADJ
ajema-7662	85	28	numbers	number	NOUN
ajema-7662	85	29	,	,	PUNCT
ajema-7662	85	30	so	so	SCONJ
ajema-7662	85	31	it	it	PRON
ajema-7662	85	32	converges	converge	VERB
ajema-7662	85	33	to	to	ADP
ajema-7662	85	34	some	some	DET
ajema-7662	85	35	r	r	NOUN
ajema-7662	85	36	≥	≥	NOUN
ajema-7662	85	37	0	0	NUM
ajema-7662	85	38	.	.	PUNCT
ajema-7662	86	1	assume	assume	VERB
ajema-7662	86	2	that	that	SCONJ
ajema-7662	86	3	r	r	NOUN
ajema-7662	86	4	>	>	X
ajema-7662	86	5	0	0	NUM
ajema-7662	86	6	.	.	PUNCT
ajema-7662	87	1	then	then	ADV
ajema-7662	87	2	,	,	PUNCT
ajema-7662	87	3	from	from	ADP
ajema-7662	87	4	the	the	DET
ajema-7662	87	5	above	above	ADJ
ajema-7662	87	6	inequality	inequality	NOUN
ajema-7662	87	7	,	,	PUNCT
ajema-7662	87	8	we	we	PRON
ajema-7662	87	9	have	have	VERB
ajema-7662	87	10	172	172	NUM
ajema-7662	87	11	journal	journal	NOUN
ajema-7662	87	12	of	of	ADP
ajema-7662	87	13	engineering	engineering	NOUN
ajema-7662	87	14	,	,	PUNCT
ajema-7662	87	15	mechanics	mechanic	NOUN
ajema-7662	87	16	and	and	CCONJ
ajema-7662	87	17	architecture	architecture	NOUN
ajema-7662	87	18	www	www	NOUN
ajema-7662	87	19	.	.	PUNCT
ajema-7662	88	1	grnjournal.us	grnjournal.us	X
ajema-7662	88	2	g(xn+1	g(xn+1	PROPN
ajema-7662	88	3	,	,	PUNCT
ajema-7662	88	4	xn+2	xn+2	NUM
ajema-7662	88	5	,	,	PUNCT
ajema-7662	88	6	xn+2	xn+2	NUM
ajema-7662	88	7	)	)	PUNCT
ajema-7662	88	8	≤	≤	NOUN
ajema-7662	88	9	g(xn	g(xn	NOUN
ajema-7662	88	10	,	,	PUNCT
ajema-7662	88	11	xn+1	xn+1	PROPN
ajema-7662	88	12	,	,	PUNCT
ajema-7662	88	13	xn+1	xn+1	NUM
ajema-7662	88	14	)	)	PUNCT
ajema-7662	88	15	φ(g(xn	φ(g(xn	NOUN
ajema-7662	88	16	,	,	PUNCT
ajema-7662	88	17	xn+1	xn+1	NUM
ajema-7662	88	18	,	,	PUNCT
ajema-7662	88	19	xn+1	xn+1	NUM
ajema-7662	88	20	)	)	PUNCT
ajema-7662	88	21	)	)	PUNCT
ajema-7662	89	1	taking	take	VERB
ajema-7662	89	2	the	the	DET
ajema-7662	89	3	limit	limit	NOUN
ajema-7662	89	4	as	as	ADP
ajema-7662	89	5	n	n	PROPN
ajema-7662	89	6	→	→	SYM
ajema-7662	89	7	∞	∞	PROPN
ajema-7662	89	8	,	,	PUNCT
ajema-7662	89	9	and	and	CCONJ
ajema-7662	89	10	using	use	VERB
ajema-7662	89	11	the	the	DET
ajema-7662	89	12	continuity	continuity	NOUN
ajema-7662	89	13	of	of	ADP
ajema-7662	89	14	φ	φ	PROPN
ajema-7662	89	15	,	,	PUNCT
ajema-7662	89	16	we	we	PRON
ajema-7662	89	17	get	get	VERB
ajema-7662	89	18	r	r	NOUN
ajema-7662	89	19	≤	≤	NUM
ajema-7662	89	20	r	r	NOUN
ajema-7662	89	21	φ(r	φ(r	NOUN
ajema-7662	89	22	)	)	PUNCT
ajema-7662	89	23	which	which	PRON
ajema-7662	89	24	implies	imply	VERB
ajema-7662	89	25	φ(r	φ(r	ADJ
ajema-7662	89	26	)	)	PUNCT
ajema-7662	89	27	≤	≤	NOUN
ajema-7662	89	28	0	0	NUM
ajema-7662	89	29	.	.	PUNCT
ajema-7662	90	1	since	since	SCONJ
ajema-7662	90	2	r	r	NOUN
ajema-7662	90	3	>	>	SYM
ajema-7662	90	4	0	0	NUM
ajema-7662	90	5	and	and	CCONJ
ajema-7662	90	6	φ(t	φ(t	PROPN
ajema-7662	90	7	)	)	PUNCT
ajema-7662	90	8	>	>	X
ajema-7662	90	9	0	0	PUNCT
ajema-7662	91	1	for	for	ADP
ajema-7662	91	2	all	all	DET
ajema-7662	91	3	t	t	PROPN
ajema-7662	91	4	>	>	X
ajema-7662	91	5	0	0	PROPN
ajema-7662	91	6	,	,	PUNCT
ajema-7662	91	7	this	this	PRON
ajema-7662	91	8	is	be	AUX
ajema-7662	91	9	a	a	DET
ajema-7662	91	10	contradiction	contradiction	NOUN
ajema-7662	91	11	.	.	PUNCT
ajema-7662	92	1	therefore	therefore	ADV
ajema-7662	92	2	,	,	PUNCT
ajema-7662	92	3	r	r	NOUN
ajema-7662	92	4	=	=	SYM
ajema-7662	92	5	0	0	NUM
ajema-7662	92	6	,	,	PUNCT
ajema-7662	92	7	i.e.	i.e.	X
ajema-7662	92	8	,	,	PUNCT
ajema-7662	92	9	lim_{n→∞	lim_{n→∞	X
ajema-7662	92	10	}	}	PUNCT
ajema-7662	92	11	g(xn	g(xn	X
ajema-7662	92	12	,	,	PUNCT
ajema-7662	92	13	xn+1	xn+1	X
ajema-7662	92	14	,	,	PUNCT
ajema-7662	92	15	xn+1	xn+1	NUM
ajema-7662	92	16	)	)	PUNCT
ajema-7662	93	1	=	=	PUNCT
ajema-7662	93	2	0	0	NUM
ajema-7662	94	1	next	next	ADV
ajema-7662	94	2	,	,	PUNCT
ajema-7662	94	3	we	we	PRON
ajema-7662	94	4	prove	prove	VERB
ajema-7662	94	5	that	that	SCONJ
ajema-7662	94	6	{	{	PUNCT
ajema-7662	94	7	xn	xn	X
ajema-7662	94	8	}	}	PUNCT
ajema-7662	94	9	is	be	AUX
ajema-7662	94	10	a	a	DET
ajema-7662	94	11	g	g	NOUN
ajema-7662	94	12	-	-	PUNCT
ajema-7662	94	13	cauchy	cauchy	ADJ
ajema-7662	94	14	sequence	sequence	NOUN
ajema-7662	94	15	.	.	PUNCT
ajema-7662	95	1	suppose	suppose	VERB
ajema-7662	95	2	,	,	PUNCT
ajema-7662	95	3	by	by	ADP
ajema-7662	95	4	contradiction	contradiction	NOUN
ajema-7662	95	5	,	,	PUNCT
ajema-7662	95	6	that	that	SCONJ
ajema-7662	95	7	{	{	PUNCT
ajema-7662	95	8	xn	xn	X
ajema-7662	95	9	}	}	PUNCT
ajema-7662	95	10	is	be	AUX
ajema-7662	95	11	not	not	PART
ajema-7662	95	12	gcauchy	gcauchy	NOUN
ajema-7662	95	13	.	.	PUNCT
ajema-7662	96	1	then	then	ADV
ajema-7662	96	2	there	there	PRON
ajema-7662	96	3	exists	exist	VERB
ajema-7662	96	4	ε	ε	PROPN
ajema-7662	96	5	>	>	X
ajema-7662	96	6	0	0	NUM
ajema-7662	97	1	for	for	ADP
ajema-7662	97	2	which	which	PRON
ajema-7662	97	3	we	we	PRON
ajema-7662	97	4	can	can	AUX
ajema-7662	97	5	find	find	VERB
ajema-7662	97	6	subsequences	subsequence	NOUN
ajema-7662	97	7	{	{	PUNCT
ajema-7662	97	8	xm(k	xm(k	ADJ
ajema-7662	97	9	)	)	PUNCT
ajema-7662	97	10	}	}	PUNCT
ajema-7662	97	11	and	and	CCONJ
ajema-7662	97	12	{	{	PUNCT
ajema-7662	97	13	xn(k	xn(k	NOUN
ajema-7662	97	14	)	)	PUNCT
ajema-7662	97	15	}	}	PUNCT
ajema-7662	97	16	of	of	ADP
ajema-7662	97	17	{	{	PUNCT
ajema-7662	97	18	xn	xn	NOUN
ajema-7662	97	19	}	}	PUNCT
ajema-7662	97	20	with	with	ADP
ajema-7662	97	21	n(k	n(k	PROPN
ajema-7662	97	22	)	)	PUNCT
ajema-7662	97	23	>	>	X
ajema-7662	98	1	m(k	m(k	PROPN
ajema-7662	98	2	)	)	PUNCT
ajema-7662	98	3	>	>	X
ajema-7662	99	1	k	k	PRON
ajema-7662	99	2	such	such	ADJ
ajema-7662	99	3	that	that	DET
ajema-7662	99	4	g(xm(k	g(xm(k	PROPN
ajema-7662	99	5	)	)	PUNCT
ajema-7662	99	6	,	,	PUNCT
ajema-7662	99	7	xn(k	xn(k	NUM
ajema-7662	99	8	)	)	PUNCT
ajema-7662	99	9	,	,	PUNCT
ajema-7662	99	10	xn(k	xn(k	NUM
ajema-7662	99	11	)	)	PUNCT
ajema-7662	99	12	)	)	PUNCT
ajema-7662	100	1	≥	≥	X
ajema-7662	100	2	ε	ε	PROPN
ajema-7662	100	3	further	far	ADV
ajema-7662	100	4	,	,	PUNCT
ajema-7662	100	5	assuming	assume	VERB
ajema-7662	100	6	n(k	n(k	PROPN
ajema-7662	100	7	)	)	PUNCT
ajema-7662	100	8	is	be	AUX
ajema-7662	100	9	the	the	DET
ajema-7662	100	10	smallest	small	ADJ
ajema-7662	100	11	such	such	ADJ
ajema-7662	100	12	number	number	NOUN
ajema-7662	100	13	,	,	PUNCT
ajema-7662	100	14	we	we	PRON
ajema-7662	100	15	have	have	VERB
ajema-7662	100	16	g(xm(k	g(xm(k	PROPN
ajema-7662	100	17	)	)	PUNCT
ajema-7662	100	18	,	,	PUNCT
ajema-7662	100	19	xn(k)-1	xn(k)-1	PROPN
ajema-7662	100	20	,	,	PUNCT
ajema-7662	100	21	xn(k)-1	xn(k)-1	PROPN
ajema-7662	100	22	)	)	PUNCT
ajema-7662	100	23	<	<	X
ajema-7662	100	24	ε	ε	PROPN
ajema-7662	100	25	from	from	ADP
ajema-7662	100	26	the	the	DET
ajema-7662	100	27	rectangle	rectangle	NOUN
ajema-7662	100	28	inequality	inequality	NOUN
ajema-7662	100	29	(	(	PUNCT
ajema-7662	100	30	g5	g5	PROPN
ajema-7662	100	31	)	)	PUNCT
ajema-7662	100	32	,	,	PUNCT
ajema-7662	100	33	we	we	PRON
ajema-7662	100	34	have	have	VERB
ajema-7662	100	35	g(xm(k	g(xm(k	PROPN
ajema-7662	100	36	)	)	PUNCT
ajema-7662	100	37	,	,	PUNCT
ajema-7662	100	38	xn(k	xn(k	NUM
ajema-7662	100	39	)	)	PUNCT
ajema-7662	100	40	,	,	PUNCT
ajema-7662	100	41	xn(k	xn(k	NUM
ajema-7662	100	42	)	)	PUNCT
ajema-7662	100	43	)	)	PUNCT
ajema-7662	101	1	≤	≤	PROPN
ajema-7662	102	1	g(xm(k	g(xm(k	PROPN
ajema-7662	102	2	)	)	PUNCT
ajema-7662	102	3	,	,	PUNCT
ajema-7662	102	4	xn(k)-1	xn(k)-1	PROPN
ajema-7662	102	5	,	,	PUNCT
ajema-7662	102	6	xn(k)-1	xn(k)-1	PROPN
ajema-7662	102	7	)	)	PUNCT
ajema-7662	103	1	+	+	X
ajema-7662	103	2	g(xn(k)-1	g(xn(k)-1	ADJ
ajema-7662	103	3	,	,	PUNCT
ajema-7662	103	4	xn(k	xn(k	NUM
ajema-7662	103	5	)	)	PUNCT
ajema-7662	103	6	,	,	PUNCT
ajema-7662	103	7	xn(k	xn(k	NUM
ajema-7662	103	8	)	)	PUNCT
ajema-7662	103	9	)	)	PUNCT
ajema-7662	104	1	taking	take	VERB
ajema-7662	104	2	the	the	DET
ajema-7662	104	3	limit	limit	NOUN
ajema-7662	104	4	as	as	ADP
ajema-7662	104	5	k	k	PROPN
ajema-7662	104	6	→	→	SYM
ajema-7662	104	7	∞	∞	PROPN
ajema-7662	104	8	and	and	CCONJ
ajema-7662	104	9	using	use	VERB
ajema-7662	104	10	lim_{n→∞	lim_{n→∞	ADJ
ajema-7662	104	11	}	}	PUNCT
ajema-7662	104	12	g(xn	g(xn	X
ajema-7662	104	13	,	,	PUNCT
ajema-7662	104	14	xn+1	xn+1	X
ajema-7662	104	15	,	,	PUNCT
ajema-7662	104	16	xn+1	xn+1	NUM
ajema-7662	104	17	)	)	PUNCT
ajema-7662	105	1	=	=	SYM
ajema-7662	105	2	0	0	NUM
ajema-7662	105	3	,	,	PUNCT
ajema-7662	105	4	we	we	PRON
ajema-7662	105	5	get	get	VERB
ajema-7662	105	6	lim_{k→∞	lim_{k→∞	NOUN
ajema-7662	105	7	}	}	PUNCT
ajema-7662	105	8	g(xm(k	g(xm(k	PROPN
ajema-7662	105	9	)	)	PUNCT
ajema-7662	105	10	,	,	PUNCT
ajema-7662	105	11	xn(k	xn(k	NUM
ajema-7662	105	12	)	)	PUNCT
ajema-7662	105	13	,	,	PUNCT
ajema-7662	105	14	xn(k	xn(k	NUM
ajema-7662	105	15	)	)	PUNCT
ajema-7662	105	16	)	)	PUNCT
ajema-7662	106	1	≤	≤	NUM
ajema-7662	106	2	ε	ε	PROPN
ajema-7662	106	3	similarly	similarly	ADV
ajema-7662	106	4	,	,	PUNCT
ajema-7662	106	5	we	we	PRON
ajema-7662	106	6	can	can	AUX
ajema-7662	106	7	show	show	VERB
ajema-7662	106	8	that	that	SCONJ
ajema-7662	106	9	lim_{k→∞	lim_{k→∞	NOUN
ajema-7662	106	10	}	}	PUNCT
ajema-7662	106	11	g(xm(k	g(xm(k	PROPN
ajema-7662	106	12	)	)	PUNCT
ajema-7662	106	13	,	,	PUNCT
ajema-7662	106	14	xn(k	xn(k	NUM
ajema-7662	106	15	)	)	PUNCT
ajema-7662	106	16	,	,	PUNCT
ajema-7662	106	17	xn(k	xn(k	NUM
ajema-7662	106	18	)	)	PUNCT
ajema-7662	106	19	)	)	PUNCT
ajema-7662	107	1	=	=	PUNCT
ajema-7662	107	2	ε	ε	PROPN
ajema-7662	107	3	now	now	ADV
ajema-7662	107	4	,	,	PUNCT
ajema-7662	107	5	by	by	ADP
ajema-7662	107	6	the	the	DET
ajema-7662	107	7	g	g	NOUN
ajema-7662	107	8	-	-	PUNCT
ajema-7662	107	9	weak	weak	ADJ
ajema-7662	107	10	contractivity	contractivity	NOUN
ajema-7662	107	11	of	of	ADP
ajema-7662	107	12	t	t	PROPN
ajema-7662	107	13	,	,	PUNCT
ajema-7662	107	14	we	we	PRON
ajema-7662	107	15	have	have	VERB
ajema-7662	107	16	g(xm(k)+1	g(xm(k)+1	NOUN
ajema-7662	107	17	,	,	PUNCT
ajema-7662	107	18	xn(k)+1	xn(k)+1	PROPN
ajema-7662	107	19	,	,	PUNCT
ajema-7662	107	20	xn(k)+1	xn(k)+1	PROPN
ajema-7662	107	21	)	)	PUNCT
ajema-7662	108	1	=	=	SYM
ajema-7662	108	2	g(txm(k	g(txm(k	NOUN
ajema-7662	108	3	)	)	PUNCT
ajema-7662	108	4	,	,	PUNCT
ajema-7662	108	5	txn(k	txn(k	PROPN
ajema-7662	108	6	)	)	PUNCT
ajema-7662	108	7	,	,	PUNCT
ajema-7662	108	8	txn(k	txn(k	PROPN
ajema-7662	108	9	)	)	PUNCT
ajema-7662	108	10	)	)	PUNCT
ajema-7662	109	1	≤	≤	PROPN
ajema-7662	110	1	g(xm(k	g(xm(k	PROPN
ajema-7662	110	2	)	)	PUNCT
ajema-7662	110	3	,	,	PUNCT
ajema-7662	110	4	xn(k	xn(k	NUM
ajema-7662	110	5	)	)	PUNCT
ajema-7662	110	6	,	,	PUNCT
ajema-7662	110	7	xn(k	xn(k	NUM
ajema-7662	110	8	)	)	PUNCT
ajema-7662	110	9	)	)	PUNCT
ajema-7662	110	10	φ(g(xm(k	φ(g(xm(k	NOUN
ajema-7662	110	11	)	)	PUNCT
ajema-7662	110	12	,	,	PUNCT
ajema-7662	110	13	xn(k	xn(k	NUM
ajema-7662	110	14	)	)	PUNCT
ajema-7662	110	15	,	,	PUNCT
ajema-7662	110	16	xn(k	xn(k	NUM
ajema-7662	110	17	)	)	PUNCT
ajema-7662	110	18	)	)	PUNCT
ajema-7662	110	19	)	)	PUNCT
ajema-7662	111	1	taking	take	VERB
ajema-7662	111	2	the	the	DET
ajema-7662	111	3	limit	limit	NOUN
ajema-7662	111	4	as	as	ADP
ajema-7662	111	5	k	k	PROPN
ajema-7662	111	6	→	→	SYM
ajema-7662	111	7	∞	∞	PROPN
ajema-7662	111	8	and	and	CCONJ
ajema-7662	111	9	using	use	VERB
ajema-7662	111	10	the	the	DET
ajema-7662	111	11	continuity	continuity	NOUN
ajema-7662	111	12	of	of	ADP
ajema-7662	111	13	φ	φ	PROPN
ajema-7662	111	14	,	,	PUNCT
ajema-7662	111	15	we	we	PRON
ajema-7662	111	16	get	get	VERB
ajema-7662	111	17	ε≤ε	ε≤ε	NOUN
ajema-7662	111	18	-	-	PUNCT
ajema-7662	111	19	φ(ε	φ(ε	NOUN
ajema-7662	111	20	)	)	PUNCT
ajema-7662	111	21	which	which	PRON
ajema-7662	111	22	implies	imply	VERB
ajema-7662	111	23	φ(ε	φ(ε	PROPN
ajema-7662	111	24	)	)	PUNCT
ajema-7662	111	25	≤	≤	NOUN
ajema-7662	111	26	0	0	NUM
ajema-7662	111	27	.	.	PUNCT
ajema-7662	112	1	since	since	SCONJ
ajema-7662	112	2	ε	ε	PROPN
ajema-7662	112	3	>	>	X
ajema-7662	112	4	0	0	PROPN
ajema-7662	112	5	and	and	CCONJ
ajema-7662	112	6	φ(t	φ(t	PROPN
ajema-7662	112	7	)	)	PUNCT
ajema-7662	112	8	>	>	X
ajema-7662	112	9	0	0	PUNCT
ajema-7662	113	1	for	for	ADP
ajema-7662	113	2	all	all	DET
ajema-7662	113	3	t	t	PROPN
ajema-7662	113	4	>	>	X
ajema-7662	113	5	0	0	PROPN
ajema-7662	113	6	,	,	PUNCT
ajema-7662	113	7	this	this	PRON
ajema-7662	113	8	is	be	AUX
ajema-7662	113	9	a	a	DET
ajema-7662	113	10	contradiction	contradiction	NOUN
ajema-7662	113	11	.	.	PUNCT
ajema-7662	114	1	therefore	therefore	ADV
ajema-7662	114	2	,	,	PUNCT
ajema-7662	114	3	{	{	PUNCT
ajema-7662	114	4	xn	xn	X
ajema-7662	114	5	}	}	PUNCT
ajema-7662	114	6	is	be	AUX
ajema-7662	114	7	a	a	DET
ajema-7662	114	8	g	g	NOUN
ajema-7662	114	9	-	-	PUNCT
ajema-7662	114	10	cauchy	cauchy	ADJ
ajema-7662	114	11	sequence	sequence	NOUN
ajema-7662	114	12	.	.	PUNCT
ajema-7662	115	1	since	since	SCONJ
ajema-7662	115	2	x	x	PRON
ajema-7662	115	3	is	be	AUX
ajema-7662	115	4	g	g	NOUN
ajema-7662	115	5	-	-	PUNCT
ajema-7662	115	6	complete	complete	ADJ
ajema-7662	115	7	,	,	PUNCT
ajema-7662	115	8	there	there	PRON
ajema-7662	115	9	exists	exist	VERB
ajema-7662	115	10	x	x	X
ajema-7662	115	11	*	*	PUNCT
ajema-7662	115	12	∈	∈	X
ajema-7662	115	13	x	x	PUNCT
ajema-7662	115	14	such	such	ADJ
ajema-7662	115	15	that	that	PRON
ajema-7662	115	16	xn	xn	PUNCT
ajema-7662	116	1	→	→	SYM
ajema-7662	116	2	x	x	X
ajema-7662	116	3	*	*	PUNCT
ajema-7662	116	4	as	as	ADP
ajema-7662	116	5	n	n	PROPN
ajema-7662	116	6	→	→	SYM
ajema-7662	116	7	∞.	∞.	PROPN
ajema-7662	116	8	we	we	PRON
ajema-7662	116	9	now	now	ADV
ajema-7662	116	10	show	show	VERB
ajema-7662	116	11	that	that	SCONJ
ajema-7662	116	12	x	x	NOUN
ajema-7662	116	13	*	*	PUNCT
ajema-7662	116	14	is	be	AUX
ajema-7662	116	15	a	a	DET
ajema-7662	116	16	fixed	fix	VERB
ajema-7662	116	17	point	point	NOUN
ajema-7662	116	18	of	of	ADP
ajema-7662	116	19	t.	t.	NOUN
ajema-7662	116	20	by	by	ADP
ajema-7662	116	21	the	the	DET
ajema-7662	116	22	g	g	NOUN
ajema-7662	116	23	-	-	PUNCT
ajema-7662	116	24	weak	weak	ADJ
ajema-7662	116	25	contractivity	contractivity	NOUN
ajema-7662	116	26	of	of	ADP
ajema-7662	116	27	t	t	PROPN
ajema-7662	116	28	,	,	PUNCT
ajema-7662	116	29	we	we	PRON
ajema-7662	116	30	have	have	VERB
ajema-7662	116	31	g(tx	g(tx	NOUN
ajema-7662	116	32	*	*	NOUN
ajema-7662	116	33	,	,	PUNCT
ajema-7662	116	34	xn+1	xn+1	X
ajema-7662	116	35	,	,	PUNCT
ajema-7662	116	36	xn+1	xn+1	NUM
ajema-7662	116	37	)	)	PUNCT
ajema-7662	116	38	=	=	PUNCT
ajema-7662	117	1	g(tx	g(tx	PROPN
ajema-7662	117	2	*	*	PUNCT
ajema-7662	117	3	,	,	PUNCT
ajema-7662	117	4	txn	txn	NOUN
ajema-7662	117	5	,	,	PUNCT
ajema-7662	117	6	txn	txn	NOUN
ajema-7662	117	7	)	)	PUNCT
ajema-7662	117	8	≤	≤	NOUN
ajema-7662	118	1	g(x	g(x	NOUN
ajema-7662	118	2	*	*	SYM
ajema-7662	118	3	,	,	PUNCT
ajema-7662	118	4	xn	xn	PROPN
ajema-7662	118	5	,	,	PUNCT
ajema-7662	118	6	xn	xn	PROPN
ajema-7662	118	7	)	)	PUNCT
ajema-7662	118	8	φ(g(x	φ(g(x	PROPN
ajema-7662	118	9	*	*	SYM
ajema-7662	118	10	,	,	PUNCT
ajema-7662	118	11	xn	xn	PROPN
ajema-7662	118	12	,	,	PUNCT
ajema-7662	118	13	xn	xn	PROPN
ajema-7662	118	14	)	)	PUNCT
ajema-7662	118	15	)	)	PUNCT
ajema-7662	119	1	<	<	X
ajema-7662	119	2	g(x	g(x	NOUN
ajema-7662	119	3	*	*	SYM
ajema-7662	119	4	,	,	PUNCT
ajema-7662	119	5	xn	xn	PROPN
ajema-7662	119	6	,	,	PUNCT
ajema-7662	119	7	xn	xn	PROPN
ajema-7662	119	8	)	)	PUNCT
ajema-7662	120	1	taking	take	VERB
ajema-7662	120	2	the	the	DET
ajema-7662	120	3	limit	limit	NOUN
ajema-7662	120	4	as	as	ADP
ajema-7662	120	5	n	n	PROPN
ajema-7662	120	6	→	→	SYM
ajema-7662	120	7	∞	∞	PROPN
ajema-7662	120	8	,	,	PUNCT
ajema-7662	120	9	and	and	CCONJ
ajema-7662	120	10	using	use	VERB
ajema-7662	120	11	the	the	DET
ajema-7662	120	12	fact	fact	NOUN
ajema-7662	120	13	that	that	SCONJ
ajema-7662	120	14	xn	xn	PROPN
ajema-7662	120	15	→	→	SYM
ajema-7662	120	16	x	x	X
ajema-7662	120	17	*	*	PUNCT
ajema-7662	120	18	,	,	PUNCT
ajema-7662	120	19	we	we	PRON
ajema-7662	120	20	get	get	VERB
ajema-7662	120	21	g(tx	g(tx	NOUN
ajema-7662	120	22	*	*	NOUN
ajema-7662	120	23	,	,	PUNCT
ajema-7662	120	24	x	x	X
ajema-7662	120	25	*	*	NOUN
ajema-7662	120	26	,	,	PUNCT
ajema-7662	120	27	x	x	X
ajema-7662	120	28	*	*	NOUN
ajema-7662	120	29	)	)	PUNCT
ajema-7662	120	30	=	=	SYM
ajema-7662	120	31	0	0	NUM
ajema-7662	120	32	,	,	PUNCT
ajema-7662	120	33	which	which	PRON
ajema-7662	120	34	implies	imply	VERB
ajema-7662	120	35	tx	tx	PROPN
ajema-7662	120	36	*	*	PUNCT
ajema-7662	120	37	=	=	PUNCT
ajema-7662	120	38	x	x	X
ajema-7662	120	39	*	*	NOUN
ajema-7662	120	40	.	.	PUNCT
ajema-7662	121	1	to	to	PART
ajema-7662	121	2	prove	prove	VERB
ajema-7662	121	3	uniqueness	uniqueness	NOUN
ajema-7662	121	4	,	,	PUNCT
ajema-7662	121	5	suppose	suppose	VERB
ajema-7662	121	6	that	that	SCONJ
ajema-7662	121	7	y	y	PROPN
ajema-7662	121	8	*	*	PROPN
ajema-7662	121	9	is	be	AUX
ajema-7662	121	10	another	another	DET
ajema-7662	121	11	fixed	fix	VERB
ajema-7662	121	12	point	point	NOUN
ajema-7662	121	13	of	of	ADP
ajema-7662	121	14	t.	t.	PROPN
ajema-7662	121	15	then	then	ADV
ajema-7662	121	16	g(x	g(x	PROPN
ajema-7662	121	17	*	*	SYM
ajema-7662	121	18	,	,	PUNCT
ajema-7662	121	19	y	y	PROPN
ajema-7662	121	20	*	*	PROPN
ajema-7662	121	21	,	,	PUNCT
ajema-7662	121	22	y	y	PROPN
ajema-7662	121	23	*	*	NOUN
ajema-7662	121	24	)	)	PUNCT
ajema-7662	121	25	=	=	PUNCT
ajema-7662	122	1	g(tx	g(tx	PROPN
ajema-7662	122	2	*	*	NOUN
ajema-7662	122	3	,	,	PUNCT
ajema-7662	122	4	ty	ty	PRON
ajema-7662	122	5	*	*	NOUN
ajema-7662	122	6	,	,	PUNCT
ajema-7662	122	7	ty	ty	NOUN
ajema-7662	122	8	*	*	NOUN
ajema-7662	122	9	)	)	PUNCT
ajema-7662	122	10	≤	≤	NOUN
ajema-7662	123	1	g(x	g(x	NOUN
ajema-7662	123	2	*	*	SYM
ajema-7662	123	3	,	,	PUNCT
ajema-7662	123	4	y	y	PROPN
ajema-7662	123	5	*	*	PROPN
ajema-7662	123	6	,	,	PUNCT
ajema-7662	123	7	y	y	PROPN
ajema-7662	123	8	*	*	NOUN
ajema-7662	123	9	)	)	PUNCT
ajema-7662	123	10	φ(g(x	φ(g(x	PROPN
ajema-7662	123	11	*	*	NOUN
ajema-7662	123	12	,	,	PUNCT
ajema-7662	123	13	y	y	PROPN
ajema-7662	123	14	*	*	PROPN
ajema-7662	123	15	,	,	PUNCT
ajema-7662	123	16	y	y	PROPN
ajema-7662	123	17	*	*	NOUN
ajema-7662	123	18	)	)	PUNCT
ajema-7662	123	19	)	)	PUNCT
ajema-7662	124	1	this	this	PRON
ajema-7662	124	2	implies	imply	VERB
ajema-7662	124	3	φ(g(x	φ(g(x	PROPN
ajema-7662	124	4	*	*	NOUN
ajema-7662	124	5	,	,	PUNCT
ajema-7662	124	6	y	y	PROPN
ajema-7662	124	7	*	*	PROPN
ajema-7662	124	8	,	,	PUNCT
ajema-7662	124	9	y	y	PROPN
ajema-7662	124	10	*	*	NOUN
ajema-7662	124	11	)	)	PUNCT
ajema-7662	124	12	)	)	PUNCT
ajema-7662	124	13	≤	≤	ADV
ajema-7662	124	14	0	0	X
ajema-7662	124	15	.	.	PUNCT
ajema-7662	125	1	since	since	SCONJ
ajema-7662	125	2	φ(t	φ(t	PROPN
ajema-7662	125	3	)	)	PUNCT
ajema-7662	125	4	>	>	X
ajema-7662	125	5	0	0	PUNCT
ajema-7662	125	6	for	for	ADP
ajema-7662	125	7	all	all	DET
ajema-7662	125	8	t	t	PROPN
ajema-7662	125	9	>	>	X
ajema-7662	125	10	0	0	NUM
ajema-7662	125	11	,	,	PUNCT
ajema-7662	125	12	we	we	PRON
ajema-7662	125	13	must	must	AUX
ajema-7662	125	14	have	have	VERB
ajema-7662	125	15	g(x	g(x	NOUN
ajema-7662	125	16	*	*	NOUN
ajema-7662	125	17	,	,	PUNCT
ajema-7662	125	18	y	y	PROPN
ajema-7662	125	19	*	*	PROPN
ajema-7662	125	20	,	,	PUNCT
ajema-7662	125	21	y	y	PROPN
ajema-7662	125	22	*	*	NOUN
ajema-7662	125	23	)	)	PUNCT
ajema-7662	126	1	=	=	SYM
ajema-7662	126	2	0	0	NUM
ajema-7662	126	3	,	,	PUNCT
ajema-7662	126	4	which	which	PRON
ajema-7662	126	5	gives	give	VERB
ajema-7662	126	6	x	x	X
ajema-7662	126	7	*	*	PUNCT
ajema-7662	126	8	=	=	PUNCT
ajema-7662	126	9	y	y	PROPN
ajema-7662	126	10	*	*	NOUN
ajema-7662	126	11	.	.	PUNCT
ajema-7662	127	1	next	next	ADV
ajema-7662	127	2	,	,	PUNCT
ajema-7662	127	3	we	we	PRON
ajema-7662	127	4	extend	extend	VERB
ajema-7662	127	5	our	our	PRON
ajema-7662	127	6	analysis	analysis	NOUN
ajema-7662	127	7	to	to	ADP
ajema-7662	127	8	φ	φ	VERB
ajema-7662	127	9	-	-	PUNCT
ajema-7662	127	10	weak	weak	ADJ
ajema-7662	127	11	contractions	contraction	NOUN
ajema-7662	127	12	in	in	ADP
ajema-7662	127	13	g	g	NOUN
ajema-7662	127	14	-	-	PUNCT
ajema-7662	127	15	metric	metric	ADJ
ajema-7662	127	16	spaces	space	NOUN
ajema-7662	127	17	.	.	PUNCT
ajema-7662	128	1	definition	definition	NOUN
ajema-7662	128	2	3.3	3.3	NUM
ajema-7662	128	3	.	.	PUNCT
ajema-7662	129	1	let	let	AUX
ajema-7662	129	2	(	(	PUNCT
ajema-7662	129	3	x	x	NOUN
ajema-7662	129	4	,	,	PUNCT
ajema-7662	129	5	g	g	NOUN
ajema-7662	129	6	)	)	PUNCT
ajema-7662	129	7	be	be	AUX
ajema-7662	129	8	a	a	DET
ajema-7662	129	9	g	g	NOUN
ajema-7662	129	10	-	-	PUNCT
ajema-7662	129	11	metric	metric	ADJ
ajema-7662	129	12	space	space	NOUN
ajema-7662	129	13	.	.	PUNCT
ajema-7662	130	1	a	a	DET
ajema-7662	130	2	mapping	mapping	NOUN
ajema-7662	130	3	t	t	NOUN
ajema-7662	130	4	:	:	PUNCT
ajema-7662	130	5	x	x	SYM
ajema-7662	130	6	→	→	PUNCT
ajema-7662	130	7	x	x	X
ajema-7662	130	8	is	be	AUX
ajema-7662	130	9	said	say	VERB
ajema-7662	130	10	to	to	PART
ajema-7662	130	11	be	be	AUX
ajema-7662	130	12	a	a	DET
ajema-7662	130	13	g	g	NOUN
ajema-7662	130	14	-	-	PUNCT
ajema-7662	130	15	φ	φ	VERB
ajema-7662	130	16	-	-	PUNCT
ajema-7662	130	17	weak	weak	ADJ
ajema-7662	130	18	contraction	contraction	NOUN
ajema-7662	130	19	if	if	SCONJ
ajema-7662	130	20	there	there	PRON
ajema-7662	130	21	exists	exist	VERB
ajema-7662	130	22	a	a	DET
ajema-7662	130	23	function	function	NOUN
ajema-7662	130	24	φ	φ	NOUN
ajema-7662	130	25	:	:	PUNCT
ajema-7662	131	1	[	[	X
ajema-7662	131	2	0	0	NUM
ajema-7662	131	3	,	,	PUNCT
ajema-7662	131	4	∞	∞	PROPN
ajema-7662	131	5	)	)	PUNCT
ajema-7662	131	6	→	→	PUNCT
ajema-7662	132	1	[	[	X
ajema-7662	132	2	0	0	NUM
ajema-7662	132	3	,	,	PUNCT
ajema-7662	132	4	∞	∞	PROPN
ajema-7662	132	5	)	)	PUNCT
ajema-7662	132	6	with	with	ADP
ajema-7662	132	7	φ	φ	PROPN
ajema-7662	132	8	continuous	continuous	ADJ
ajema-7662	132	9	,	,	PUNCT
ajema-7662	132	10	φ(0	φ(0	ADJ
ajema-7662	132	11	)	)	PUNCT
ajema-7662	132	12	=	=	SYM
ajema-7662	132	13	0	0	NUM
ajema-7662	132	14	,	,	PUNCT
ajema-7662	132	15	and	and	CCONJ
ajema-7662	132	16	φ(t	φ(t	PROPN
ajema-7662	132	17	)	)	PUNCT
ajema-7662	132	18	>	>	X
ajema-7662	132	19	0	0	PUNCT
ajema-7662	132	20	for	for	ADP
ajema-7662	132	21	all	all	DET
ajema-7662	132	22	t	t	PROPN
ajema-7662	132	23	>	>	X
ajema-7662	132	24	0	0	NUM
ajema-7662	132	25	such	such	ADJ
ajema-7662	132	26	that	that	SCONJ
ajema-7662	132	27	173	173	NUM
ajema-7662	132	28	journal	journal	NOUN
ajema-7662	132	29	of	of	ADP
ajema-7662	132	30	engineering	engineering	NOUN
ajema-7662	132	31	,	,	PUNCT
ajema-7662	132	32	mechanics	mechanic	NOUN
ajema-7662	132	33	and	and	CCONJ
ajema-7662	132	34	architecture	architecture	NOUN
ajema-7662	132	35	www	www	NOUN
ajema-7662	132	36	.	.	PROPN
ajema-7662	133	1	grnjournal.us	grnjournal.us	X
ajema-7662	133	2	g(tx	g(tx	PROPN
ajema-7662	133	3	,	,	PUNCT
ajema-7662	133	4	ty	ty	INTJ
ajema-7662	133	5	,	,	PUNCT
ajema-7662	133	6	tz	tz	PROPN
ajema-7662	133	7	)	)	PUNCT
ajema-7662	133	8	≤	≤	NOUN
ajema-7662	133	9	m_g(x	m_g(x	X
ajema-7662	133	10	,	,	PUNCT
ajema-7662	133	11	y	y	PROPN
ajema-7662	133	12	,	,	PUNCT
ajema-7662	133	13	z	z	NOUN
ajema-7662	133	14	)	)	PUNCT
ajema-7662	133	15	φ(m_g(x	φ(m_g(x	NOUN
ajema-7662	133	16	,	,	PUNCT
ajema-7662	133	17	y	y	PROPN
ajema-7662	133	18	,	,	PUNCT
ajema-7662	133	19	z	z	NOUN
ajema-7662	133	20	)	)	PUNCT
ajema-7662	133	21	)	)	PUNCT
ajema-7662	133	22	for	for	ADP
ajema-7662	133	23	all	all	DET
ajema-7662	133	24	x	x	PROPN
ajema-7662	133	25	,	,	PUNCT
ajema-7662	133	26	y	y	PROPN
ajema-7662	133	27	,	,	PUNCT
ajema-7662	133	28	z	z	PROPN
ajema-7662	133	29	∈	∈	PROPN
ajema-7662	133	30	x	x	X
ajema-7662	133	31	,	,	PUNCT
ajema-7662	133	32	where	where	SCONJ
ajema-7662	133	33	m_g(x	m_g(x	X
ajema-7662	133	34	,	,	PUNCT
ajema-7662	133	35	y	y	PROPN
ajema-7662	133	36	,	,	PUNCT
ajema-7662	133	37	z	z	NOUN
ajema-7662	133	38	)	)	PUNCT
ajema-7662	133	39	=	=	SYM
ajema-7662	133	40	max{g(x	max{g(x	PROPN
ajema-7662	133	41	,	,	PUNCT
ajema-7662	133	42	y	y	PROPN
ajema-7662	133	43	,	,	PUNCT
ajema-7662	133	44	z	z	NOUN
ajema-7662	133	45	)	)	PUNCT
ajema-7662	133	46	,	,	PUNCT
ajema-7662	133	47	g(x	g(x	PROPN
ajema-7662	133	48	,	,	PUNCT
ajema-7662	133	49	tx	tx	PROPN
ajema-7662	133	50	,	,	PUNCT
ajema-7662	133	51	tx	tx	PROPN
ajema-7662	133	52	)	)	PUNCT
ajema-7662	133	53	,	,	PUNCT
ajema-7662	133	54	g(y	g(y	PROPN
ajema-7662	133	55	,	,	PUNCT
ajema-7662	133	56	ty	ty	INTJ
ajema-7662	133	57	,	,	PUNCT
ajema-7662	133	58	ty	ty	NOUN
ajema-7662	133	59	)	)	PUNCT
ajema-7662	133	60	,	,	PUNCT
ajema-7662	133	61	g(z	g(z	PROPN
ajema-7662	133	62	,	,	PUNCT
ajema-7662	133	63	tz	tz	PROPN
ajema-7662	133	64	,	,	PUNCT
ajema-7662	133	65	tz	tz	PROPN
ajema-7662	133	66	)	)	PUNCT
ajema-7662	133	67	,	,	PUNCT
ajema-7662	133	68	[	[	X
ajema-7662	133	69	g(x	g(x	NOUN
ajema-7662	133	70	,	,	PUNCT
ajema-7662	133	71	ty	ty	INTJ
ajema-7662	133	72	,	,	PUNCT
ajema-7662	133	73	tz	tz	NOUN
ajema-7662	133	74	)	)	PUNCT
ajema-7662	133	75	+	+	CCONJ
ajema-7662	134	1	g(y	g(y	NOUN
ajema-7662	134	2	,	,	PUNCT
ajema-7662	134	3	tx	tx	PROPN
ajema-7662	134	4	,	,	PUNCT
ajema-7662	134	5	tz	tz	PROPN
ajema-7662	134	6	)	)	PUNCT
ajema-7662	134	7	+	+	CCONJ
ajema-7662	135	1	g(z	g(z	ADJ
ajema-7662	135	2	,	,	PUNCT
ajema-7662	135	3	tx	tx	PROPN
ajema-7662	135	4	,	,	PUNCT
ajema-7662	135	5	ty)]/3	ty)]/3	PROPN
ajema-7662	135	6	}	}	PUNCT
ajema-7662	135	7	theorem	theorem	VERB
ajema-7662	135	8	3.4	3.4	NUM
ajema-7662	135	9	.	.	PUNCT
ajema-7662	136	1	let	let	AUX
ajema-7662	136	2	(	(	PUNCT
ajema-7662	136	3	x	x	NOUN
ajema-7662	136	4	,	,	PUNCT
ajema-7662	136	5	g	g	NOUN
ajema-7662	136	6	)	)	PUNCT
ajema-7662	136	7	be	be	AUX
ajema-7662	136	8	a	a	DET
ajema-7662	136	9	complete	complete	ADJ
ajema-7662	136	10	g	g	NOUN
ajema-7662	136	11	-	-	PUNCT
ajema-7662	136	12	metric	metric	ADJ
ajema-7662	136	13	space	space	NOUN
ajema-7662	136	14	and	and	CCONJ
ajema-7662	136	15	let	let	VERB
ajema-7662	136	16	t	t	NOUN
ajema-7662	136	17	:	:	PUNCT
ajema-7662	136	18	x	x	SYM
ajema-7662	136	19	→	→	PUNCT
ajema-7662	136	20	x	x	PUNCT
ajema-7662	136	21	be	be	AUX
ajema-7662	136	22	a	a	DET
ajema-7662	136	23	g	g	NOUN
ajema-7662	136	24	-	-	PUNCT
ajema-7662	136	25	φ	φ	VERB
ajema-7662	136	26	-	-	PUNCT
ajema-7662	136	27	weak	weak	ADJ
ajema-7662	136	28	contraction	contraction	NOUN
ajema-7662	136	29	.	.	PUNCT
ajema-7662	137	1	then	then	ADV
ajema-7662	137	2	t	t	PROPN
ajema-7662	137	3	has	have	VERB
ajema-7662	137	4	a	a	DET
ajema-7662	137	5	unique	unique	ADJ
ajema-7662	137	6	fixed	fix	VERB
ajema-7662	137	7	point	point	NOUN
ajema-7662	137	8	x	x	X
ajema-7662	137	9	*	*	PUNCT
ajema-7662	137	10	∈	∈	X
ajema-7662	137	11	x	x	NOUN
ajema-7662	137	12	,	,	PUNCT
ajema-7662	137	13	and	and	CCONJ
ajema-7662	137	14	for	for	ADP
ajema-7662	137	15	any	any	DET
ajema-7662	137	16	x0	x0	PROPN
ajema-7662	137	17	∈	∈	PROPN
ajema-7662	137	18	x	x	PRON
ajema-7662	137	19	,	,	PUNCT
ajema-7662	137	20	the	the	DET
ajema-7662	137	21	sequence	sequence	NOUN
ajema-7662	137	22	{	{	PUNCT
ajema-7662	137	23	t^n	t^n	NOUN
ajema-7662	137	24	x0	x0	ADJ
ajema-7662	137	25	}	}	PUNCT
ajema-7662	137	26	converges	converge	VERB
ajema-7662	137	27	to	to	ADP
ajema-7662	137	28	x	x	X
ajema-7662	137	29	*	*	NOUN
ajema-7662	137	30	.	.	PUNCT
ajema-7662	138	1	proof	proof	NOUN
ajema-7662	138	2	.	.	PUNCT
ajema-7662	139	1	the	the	DET
ajema-7662	139	2	proof	proof	NOUN
ajema-7662	139	3	follows	follow	VERB
ajema-7662	139	4	a	a	DET
ajema-7662	139	5	similar	similar	ADJ
ajema-7662	139	6	pattern	pattern	NOUN
ajema-7662	139	7	to	to	ADP
ajema-7662	139	8	that	that	PRON
ajema-7662	139	9	of	of	ADP
ajema-7662	139	10	theorem	theorem	NOUN
ajema-7662	139	11	3.2	3.2	NUM
ajema-7662	139	12	,	,	PUNCT
ajema-7662	139	13	with	with	ADP
ajema-7662	139	14	appropriate	appropriate	ADJ
ajema-7662	139	15	modifications	modification	NOUN
ajema-7662	139	16	to	to	PART
ajema-7662	139	17	account	account	VERB
ajema-7662	139	18	for	for	ADP
ajema-7662	139	19	the	the	DET
ajema-7662	139	20	different	different	ADJ
ajema-7662	139	21	contractive	contractive	ADJ
ajema-7662	139	22	condition	condition	NOUN
ajema-7662	139	23	.	.	PUNCT
ajema-7662	140	1	the	the	DET
ajema-7662	140	2	complete	complete	ADJ
ajema-7662	140	3	proof	proof	NOUN
ajema-7662	140	4	is	be	AUX
ajema-7662	140	5	omitted	omit	VERB
ajema-7662	140	6	for	for	ADP
ajema-7662	140	7	brevity	brevity	NOUN
ajema-7662	140	8	.	.	PUNCT
ajema-7662	141	1	we	we	PRON
ajema-7662	141	2	now	now	ADV
ajema-7662	141	3	present	present	VERB
ajema-7662	141	4	a	a	DET
ajema-7662	141	5	fixed	fix	VERB
ajema-7662	141	6	point	point	NOUN
ajema-7662	141	7	theorem	theorem	NOUN
ajema-7662	141	8	for	for	ADP
ajema-7662	141	9	a	a	DET
ajema-7662	141	10	more	more	ADV
ajema-7662	141	11	general	general	ADJ
ajema-7662	141	12	class	class	NOUN
ajema-7662	141	13	of	of	ADP
ajema-7662	141	14	weakly	weakly	ADJ
ajema-7662	141	15	contractive	contractive	ADJ
ajema-7662	141	16	mappings	mapping	NOUN
ajema-7662	141	17	in	in	ADP
ajema-7662	141	18	g	g	NOUN
ajema-7662	141	19	-	-	PUNCT
ajema-7662	141	20	metric	metric	ADJ
ajema-7662	141	21	spaces	space	NOUN
ajema-7662	141	22	.	.	PUNCT
ajema-7662	142	1	definition	definition	NOUN
ajema-7662	142	2	3.5	3.5	NUM
ajema-7662	142	3	.	.	PUNCT
ajema-7662	143	1	let	let	AUX
ajema-7662	143	2	(	(	PUNCT
ajema-7662	143	3	x	x	NOUN
ajema-7662	143	4	,	,	PUNCT
ajema-7662	143	5	g	g	NOUN
ajema-7662	143	6	)	)	PUNCT
ajema-7662	143	7	be	be	AUX
ajema-7662	143	8	a	a	DET
ajema-7662	143	9	g	g	NOUN
ajema-7662	143	10	-	-	PUNCT
ajema-7662	143	11	metric	metric	ADJ
ajema-7662	143	12	space	space	NOUN
ajema-7662	143	13	.	.	PUNCT
ajema-7662	144	1	a	a	DET
ajema-7662	144	2	mapping	mapping	NOUN
ajema-7662	144	3	t	t	NOUN
ajema-7662	144	4	:	:	PUNCT
ajema-7662	144	5	x	x	SYM
ajema-7662	144	6	→	→	PUNCT
ajema-7662	144	7	x	x	X
ajema-7662	144	8	is	be	AUX
ajema-7662	144	9	said	say	VERB
ajema-7662	144	10	to	to	PART
ajema-7662	144	11	be	be	AUX
ajema-7662	144	12	a	a	DET
ajema-7662	144	13	generalized	generalized	ADJ
ajema-7662	144	14	g	g	NOUN
ajema-7662	144	15	weakly	weakly	ADV
ajema-7662	144	16	contractive	contractive	ADJ
ajema-7662	144	17	mapping	mapping	NOUN
ajema-7662	144	18	if	if	SCONJ
ajema-7662	144	19	there	there	PRON
ajema-7662	144	20	exist	exist	VERB
ajema-7662	144	21	functions	function	NOUN
ajema-7662	144	22	ψ	ψ	NOUN
ajema-7662	144	23	,	,	PUNCT
ajema-7662	144	24	φ	φ	NOUN
ajema-7662	144	25	:	:	PUNCT
ajema-7662	145	1	[	[	X
ajema-7662	145	2	0	0	NUM
ajema-7662	145	3	,	,	PUNCT
ajema-7662	145	4	∞	∞	PROPN
ajema-7662	145	5	)	)	PUNCT
ajema-7662	145	6	→	→	PUNCT
ajema-7662	146	1	[	[	X
ajema-7662	146	2	0	0	NUM
ajema-7662	146	3	,	,	PUNCT
ajema-7662	146	4	∞	∞	PROPN
ajema-7662	146	5	)	)	PUNCT
ajema-7662	146	6	with	with	ADP
ajema-7662	146	7	ψ	ψ	PROPN
ajema-7662	146	8	,	,	PUNCT
ajema-7662	146	9	φ	φ	PROPN
ajema-7662	146	10	continuous	continuous	ADJ
ajema-7662	146	11	,	,	PUNCT
ajema-7662	146	12	ψ(0	ψ(0	NOUN
ajema-7662	146	13	)	)	PUNCT
ajema-7662	146	14	=	=	PUNCT
ajema-7662	146	15	φ(0	φ(0	ADJ
ajema-7662	146	16	)	)	PUNCT
ajema-7662	146	17	=	=	SYM
ajema-7662	146	18	0	0	NUM
ajema-7662	146	19	,	,	PUNCT
ajema-7662	146	20	ψ(t	ψ(t	PROPN
ajema-7662	146	21	)	)	PUNCT
ajema-7662	146	22	>	>	X
ajema-7662	146	23	0	0	NUM
ajema-7662	146	24	,	,	PUNCT
ajema-7662	146	25	and	and	CCONJ
ajema-7662	146	26	φ(t	φ(t	PROPN
ajema-7662	146	27	)	)	PUNCT
ajema-7662	146	28	>	>	X
ajema-7662	146	29	0	0	PUNCT
ajema-7662	147	1	for	for	ADP
ajema-7662	147	2	all	all	DET
ajema-7662	147	3	t	t	PROPN
ajema-7662	147	4	>	>	X
ajema-7662	147	5	0	0	NUM
ajema-7662	147	6	such	such	ADJ
ajema-7662	147	7	that	that	PRON
ajema-7662	147	8	ψ(g(tx	ψ(g(tx	NOUN
ajema-7662	147	9	,	,	PUNCT
ajema-7662	147	10	ty	ty	INTJ
ajema-7662	147	11	,	,	PUNCT
ajema-7662	147	12	tz	tz	NOUN
ajema-7662	147	13	)	)	PUNCT
ajema-7662	147	14	)	)	PUNCT
ajema-7662	147	15	≤	≤	NUM
ajema-7662	147	16	ψ(g(x	ψ(g(x	PROPN
ajema-7662	147	17	,	,	PUNCT
ajema-7662	147	18	y	y	PROPN
ajema-7662	147	19	,	,	PUNCT
ajema-7662	147	20	z	z	NOUN
ajema-7662	147	21	)	)	PUNCT
ajema-7662	147	22	)	)	PUNCT
ajema-7662	148	1	φ(g(x	φ(g(x	PROPN
ajema-7662	148	2	,	,	PUNCT
ajema-7662	148	3	y	y	PROPN
ajema-7662	148	4	,	,	PUNCT
ajema-7662	148	5	z	z	NOUN
ajema-7662	148	6	)	)	PUNCT
ajema-7662	148	7	)	)	PUNCT
ajema-7662	148	8	for	for	ADP
ajema-7662	148	9	all	all	DET
ajema-7662	148	10	x	x	PROPN
ajema-7662	148	11	,	,	PUNCT
ajema-7662	148	12	y	y	PROPN
ajema-7662	148	13	,	,	PUNCT
ajema-7662	148	14	z	z	PROPN
ajema-7662	148	15	∈	∈	PROPN
ajema-7662	148	16	x.	x.	NOUN
ajema-7662	148	17	theorem	theorem	VERB
ajema-7662	148	18	3.6	3.6	NUM
ajema-7662	148	19	.	.	PUNCT
ajema-7662	149	1	let	let	AUX
ajema-7662	149	2	(	(	PUNCT
ajema-7662	149	3	x	x	NOUN
ajema-7662	149	4	,	,	PUNCT
ajema-7662	149	5	g	g	NOUN
ajema-7662	149	6	)	)	PUNCT
ajema-7662	149	7	be	be	AUX
ajema-7662	149	8	a	a	DET
ajema-7662	149	9	complete	complete	ADJ
ajema-7662	149	10	g	g	NOUN
ajema-7662	149	11	-	-	PUNCT
ajema-7662	149	12	metric	metric	ADJ
ajema-7662	149	13	space	space	NOUN
ajema-7662	149	14	and	and	CCONJ
ajema-7662	149	15	let	let	VERB
ajema-7662	149	16	t	t	NOUN
ajema-7662	149	17	:	:	PUNCT
ajema-7662	149	18	x	x	SYM
ajema-7662	149	19	→	→	PUNCT
ajema-7662	149	20	x	x	PUNCT
ajema-7662	149	21	be	be	AUX
ajema-7662	149	22	a	a	DET
ajema-7662	149	23	generalized	generalized	ADJ
ajema-7662	149	24	gweakly	gweakly	ADV
ajema-7662	149	25	contractive	contractive	ADJ
ajema-7662	149	26	mapping	mapping	NOUN
ajema-7662	149	27	.	.	PUNCT
ajema-7662	150	1	then	then	ADV
ajema-7662	150	2	t	t	PROPN
ajema-7662	150	3	has	have	VERB
ajema-7662	150	4	a	a	DET
ajema-7662	150	5	unique	unique	ADJ
ajema-7662	150	6	fixed	fix	VERB
ajema-7662	150	7	point	point	NOUN
ajema-7662	150	8	x	x	X
ajema-7662	150	9	*	*	PUNCT
ajema-7662	150	10	∈	∈	X
ajema-7662	150	11	x	x	NOUN
ajema-7662	150	12	,	,	PUNCT
ajema-7662	150	13	and	and	CCONJ
ajema-7662	150	14	for	for	ADP
ajema-7662	150	15	any	any	DET
ajema-7662	150	16	x0	x0	PROPN
ajema-7662	150	17	∈	∈	PROPN
ajema-7662	150	18	x	x	PRON
ajema-7662	150	19	,	,	PUNCT
ajema-7662	150	20	the	the	DET
ajema-7662	150	21	sequence	sequence	NOUN
ajema-7662	150	22	{	{	PUNCT
ajema-7662	150	23	t^n	t^n	NOUN
ajema-7662	150	24	x0	x0	ADJ
ajema-7662	150	25	}	}	PUNCT
ajema-7662	150	26	converges	converge	VERB
ajema-7662	150	27	to	to	ADP
ajema-7662	150	28	x	x	X
ajema-7662	150	29	*	*	NOUN
ajema-7662	150	30	.	.	PUNCT
ajema-7662	151	1	proof	proof	NOUN
ajema-7662	151	2	.	.	PUNCT
ajema-7662	152	1	let	let	VERB
ajema-7662	152	2	x0	x0	PROPN
ajema-7662	152	3	∈	∈	PROPN
ajema-7662	152	4	x	x	AUX
ajema-7662	152	5	be	be	AUX
ajema-7662	152	6	arbitrary	arbitrary	ADJ
ajema-7662	152	7	and	and	CCONJ
ajema-7662	152	8	define	define	VERB
ajema-7662	152	9	the	the	DET
ajema-7662	152	10	sequence	sequence	NOUN
ajema-7662	152	11	{	{	PUNCT
ajema-7662	152	12	xn	xn	VERB
ajema-7662	152	13	}	}	PUNCT
ajema-7662	152	14	by	by	ADP
ajema-7662	152	15	xn+1	xn+1	PROPN
ajema-7662	152	16	=	=	SYM
ajema-7662	152	17	txn	txn	NOUN
ajema-7662	152	18	for	for	ADP
ajema-7662	152	19	n	n	X
ajema-7662	152	20	≥	≥	NOUN
ajema-7662	152	21	0	0	NUM
ajema-7662	152	22	.	.	PUNCT
ajema-7662	153	1	as	as	ADP
ajema-7662	153	2	in	in	ADP
ajema-7662	153	3	the	the	DET
ajema-7662	153	4	proof	proof	NOUN
ajema-7662	153	5	of	of	ADP
ajema-7662	153	6	theorem	theorem	ADJ
ajema-7662	153	7	3.2	3.2	NUM
ajema-7662	153	8	,	,	PUNCT
ajema-7662	153	9	we	we	PRON
ajema-7662	153	10	can	can	AUX
ajema-7662	153	11	assume	assume	VERB
ajema-7662	153	12	that	that	SCONJ
ajema-7662	153	13	xn+1	xn+1	ADV
ajema-7662	153	14	≠	≠	PROPN
ajema-7662	153	15	xn	xn	NUM
ajema-7662	153	16	for	for	ADP
ajema-7662	153	17	all	all	DET
ajema-7662	153	18	n	n	PRON
ajema-7662	153	19	≥	≥	NOUN
ajema-7662	153	20	0	0	NUM
ajema-7662	153	21	.	.	PUNCT
ajema-7662	154	1	by	by	ADP
ajema-7662	154	2	the	the	DET
ajema-7662	154	3	generalized	generalized	ADJ
ajema-7662	154	4	g	g	NOUN
ajema-7662	154	5	-	-	PUNCT
ajema-7662	154	6	weak	weak	ADJ
ajema-7662	154	7	contractivity	contractivity	NOUN
ajema-7662	154	8	of	of	ADP
ajema-7662	154	9	t	t	PROPN
ajema-7662	154	10	,	,	PUNCT
ajema-7662	154	11	we	we	PRON
ajema-7662	154	12	have	have	VERB
ajema-7662	154	13	ψ(g(xn+1	ψ(g(xn+1	PROPN
ajema-7662	154	14	,	,	PUNCT
ajema-7662	154	15	xn+2	xn+2	NUM
ajema-7662	154	16	,	,	PUNCT
ajema-7662	154	17	xn+2	xn+2	NUM
ajema-7662	154	18	)	)	PUNCT
ajema-7662	154	19	)	)	PUNCT
ajema-7662	155	1	=	=	PUNCT
ajema-7662	155	2	ψ(g(txn	ψ(g(txn	PROPN
ajema-7662	155	3	,	,	PUNCT
ajema-7662	155	4	txn+1	txn+1	NOUN
ajema-7662	155	5	,	,	PUNCT
ajema-7662	155	6	txn+1	txn+1	NOUN
ajema-7662	155	7	)	)	PUNCT
ajema-7662	155	8	)	)	PUNCT
ajema-7662	155	9	≤	≤	NOUN
ajema-7662	156	1	ψ(g(xn	ψ(g(xn	PART
ajema-7662	156	2	,	,	PUNCT
ajema-7662	156	3	xn+1	xn+1	PROPN
ajema-7662	156	4	,	,	PUNCT
ajema-7662	156	5	xn+1	xn+1	NUM
ajema-7662	156	6	)	)	PUNCT
ajema-7662	156	7	)	)	PUNCT
ajema-7662	157	1	φ(g(xn	φ(g(xn	NOUN
ajema-7662	157	2	,	,	PUNCT
ajema-7662	157	3	xn+1	xn+1	NUM
ajema-7662	157	4	,	,	PUNCT
ajema-7662	157	5	xn+1	xn+1	NUM
ajema-7662	157	6	)	)	PUNCT
ajema-7662	157	7	)	)	PUNCT
ajema-7662	157	8	<	<	X
ajema-7662	157	9	ψ(g(xn	ψ(g(xn	X
ajema-7662	157	10	,	,	PUNCT
ajema-7662	157	11	xn+1	xn+1	NUM
ajema-7662	157	12	,	,	PUNCT
ajema-7662	157	13	xn+1	xn+1	NUM
ajema-7662	157	14	)	)	PUNCT
ajema-7662	157	15	)	)	PUNCT
ajema-7662	158	1	this	this	PRON
ajema-7662	158	2	shows	show	VERB
ajema-7662	158	3	that	that	SCONJ
ajema-7662	158	4	the	the	DET
ajema-7662	158	5	sequence	sequence	NOUN
ajema-7662	158	6	{	{	PUNCT
ajema-7662	158	7	ψ(g(xn	ψ(g(xn	X
ajema-7662	158	8	,	,	PUNCT
ajema-7662	158	9	xn+1	xn+1	NUM
ajema-7662	158	10	,	,	PUNCT
ajema-7662	158	11	xn+1	xn+1	NUM
ajema-7662	158	12	)	)	PUNCT
ajema-7662	158	13	)	)	PUNCT
ajema-7662	158	14	}	}	PUNCT
ajema-7662	158	15	is	be	AUX
ajema-7662	158	16	decreasing	decrease	VERB
ajema-7662	158	17	,	,	PUNCT
ajema-7662	158	18	and	and	CCONJ
ajema-7662	158	19	hence	hence	ADV
ajema-7662	158	20	it	it	PRON
ajema-7662	158	21	converges	converge	VERB
ajema-7662	158	22	to	to	ADP
ajema-7662	158	23	some	some	DET
ajema-7662	158	24	r	r	NOUN
ajema-7662	158	25	≥	≥	NOUN
ajema-7662	158	26	0	0	NUM
ajema-7662	158	27	.	.	PUNCT
ajema-7662	159	1	if	if	SCONJ
ajema-7662	159	2	r	r	NOUN
ajema-7662	159	3	>	>	X
ajema-7662	159	4	0	0	NUM
ajema-7662	159	5	,	,	PUNCT
ajema-7662	159	6	then	then	ADV
ajema-7662	159	7	by	by	ADP
ajema-7662	159	8	taking	take	VERB
ajema-7662	159	9	the	the	DET
ajema-7662	159	10	limit	limit	NOUN
ajema-7662	159	11	of	of	ADP
ajema-7662	159	12	the	the	DET
ajema-7662	159	13	above	above	ADJ
ajema-7662	159	14	inequality	inequality	NOUN
ajema-7662	159	15	and	and	CCONJ
ajema-7662	159	16	using	use	VERB
ajema-7662	159	17	the	the	DET
ajema-7662	159	18	continuity	continuity	NOUN
ajema-7662	159	19	of	of	ADP
ajema-7662	159	20	ψ	ψ	PROPN
ajema-7662	159	21	and	and	CCONJ
ajema-7662	159	22	φ	φ	NUM
ajema-7662	159	23	,	,	PUNCT
ajema-7662	159	24	we	we	PRON
ajema-7662	159	25	get	get	VERB
ajema-7662	159	26	r	r	NOUN
ajema-7662	159	27	≤	≤	NUM
ajema-7662	159	28	r	r	NOUN
ajema-7662	159	29	lim_{n→∞	lim_{n→∞	X
ajema-7662	159	30	}	}	PUNCT
ajema-7662	159	31	φ(g(xn	φ(g(xn	NOUN
ajema-7662	159	32	,	,	PUNCT
ajema-7662	159	33	xn+1	xn+1	NUM
ajema-7662	159	34	,	,	PUNCT
ajema-7662	159	35	xn+1	xn+1	NUM
ajema-7662	159	36	)	)	PUNCT
ajema-7662	159	37	)	)	PUNCT
ajema-7662	160	1	this	this	PRON
ajema-7662	160	2	implies	imply	VERB
ajema-7662	160	3	lim_{n→∞	lim_{n→∞	X
ajema-7662	160	4	}	}	PUNCT
ajema-7662	160	5	φ(g(xn	φ(g(xn	NOUN
ajema-7662	160	6	,	,	PUNCT
ajema-7662	160	7	xn+1	xn+1	NUM
ajema-7662	160	8	,	,	PUNCT
ajema-7662	160	9	xn+1	xn+1	NUM
ajema-7662	160	10	)	)	PUNCT
ajema-7662	160	11	)	)	PUNCT
ajema-7662	161	1	=	=	PUNCT
ajema-7662	161	2	0	0	X
ajema-7662	161	3	.	.	PUNCT
ajema-7662	161	4	since	since	SCONJ
ajema-7662	161	5	φ(t	φ(t	PROPN
ajema-7662	161	6	)	)	PUNCT
ajema-7662	161	7	>	>	X
ajema-7662	161	8	0	0	PUNCT
ajema-7662	161	9	for	for	ADP
ajema-7662	161	10	all	all	DET
ajema-7662	161	11	t	t	PROPN
ajema-7662	161	12	>	>	X
ajema-7662	161	13	0	0	NUM
ajema-7662	161	14	,	,	PUNCT
ajema-7662	161	15	we	we	PRON
ajema-7662	161	16	must	must	AUX
ajema-7662	161	17	have	have	VERB
ajema-7662	161	18	lim_{n→∞	lim_{n→∞	X
ajema-7662	161	19	}	}	PUNCT
ajema-7662	161	20	g(xn	g(xn	NOUN
ajema-7662	161	21	,	,	PUNCT
ajema-7662	161	22	xn+1	xn+1	X
ajema-7662	161	23	,	,	PUNCT
ajema-7662	161	24	xn+1	xn+1	NUM
ajema-7662	161	25	)	)	PUNCT
ajema-7662	161	26	=	=	SYM
ajema-7662	162	1	0	0	X
ajema-7662	162	2	.	.	PUNCT
ajema-7662	163	1	the	the	DET
ajema-7662	163	2	rest	rest	NOUN
ajema-7662	163	3	of	of	ADP
ajema-7662	163	4	the	the	DET
ajema-7662	163	5	proof	proof	NOUN
ajema-7662	163	6	follows	follow	VERB
ajema-7662	163	7	the	the	DET
ajema-7662	163	8	pattern	pattern	NOUN
ajema-7662	163	9	of	of	ADP
ajema-7662	163	10	theorem	theorem	NOUN
ajema-7662	163	11	3.2	3.2	NUM
ajema-7662	163	12	,	,	PUNCT
ajema-7662	163	13	showing	show	VERB
ajema-7662	163	14	that	that	SCONJ
ajema-7662	163	15	{	{	PUNCT
ajema-7662	163	16	xn	xn	X
ajema-7662	163	17	}	}	PUNCT
ajema-7662	163	18	is	be	AUX
ajema-7662	163	19	a	a	DET
ajema-7662	163	20	g	g	NOUN
ajema-7662	163	21	-	-	PUNCT
ajema-7662	163	22	cauchy	cauchy	ADJ
ajema-7662	163	23	sequence	sequence	NOUN
ajema-7662	163	24	,	,	PUNCT
ajema-7662	163	25	converging	converge	VERB
ajema-7662	163	26	to	to	ADP
ajema-7662	163	27	some	some	DET
ajema-7662	163	28	x	x	NOUN
ajema-7662	163	29	*	*	PUNCT
ajema-7662	163	30	∈	∈	X
ajema-7662	163	31	x	x	NOUN
ajema-7662	163	32	,	,	PUNCT
ajema-7662	163	33	and	and	CCONJ
ajema-7662	163	34	that	that	SCONJ
ajema-7662	163	35	x	x	X
ajema-7662	163	36	*	*	PUNCT
ajema-7662	163	37	is	be	AUX
ajema-7662	163	38	the	the	DET
ajema-7662	163	39	unique	unique	ADJ
ajema-7662	163	40	fixed	fix	VERB
ajema-7662	163	41	point	point	NOUN
ajema-7662	163	42	of	of	ADP
ajema-7662	163	43	t.	t.	PROPN
ajema-7662	163	44	finally	finally	ADV
ajema-7662	163	45	,	,	PUNCT
ajema-7662	163	46	we	we	PRON
ajema-7662	163	47	present	present	VERB
ajema-7662	163	48	a	a	DET
ajema-7662	163	49	fixed	fix	VERB
ajema-7662	163	50	point	point	NOUN
ajema-7662	163	51	theorem	theorem	NOUN
ajema-7662	163	52	for	for	ADP
ajema-7662	163	53	ćirić	ćirić	NOUN
ajema-7662	163	54	-	-	PUNCT
ajema-7662	163	55	type	type	NOUN
ajema-7662	163	56	contractions	contraction	NOUN
ajema-7662	163	57	in	in	ADP
ajema-7662	163	58	g	g	NOUN
ajema-7662	163	59	-	-	PUNCT
ajema-7662	163	60	metric	metric	ADJ
ajema-7662	163	61	spaces	space	NOUN
ajema-7662	163	62	.	.	PUNCT
ajema-7662	164	1	definition	definition	NOUN
ajema-7662	164	2	3.7	3.7	NUM
ajema-7662	164	3	.	.	PUNCT
ajema-7662	165	1	let	let	AUX
ajema-7662	165	2	(	(	PUNCT
ajema-7662	165	3	x	x	NOUN
ajema-7662	165	4	,	,	PUNCT
ajema-7662	165	5	g	g	NOUN
ajema-7662	165	6	)	)	PUNCT
ajema-7662	165	7	be	be	AUX
ajema-7662	165	8	a	a	DET
ajema-7662	165	9	g	g	NOUN
ajema-7662	165	10	-	-	PUNCT
ajema-7662	165	11	metric	metric	ADJ
ajema-7662	165	12	space	space	NOUN
ajema-7662	165	13	.	.	PUNCT
ajema-7662	166	1	a	a	DET
ajema-7662	166	2	mapping	mapping	NOUN
ajema-7662	166	3	t	t	NOUN
ajema-7662	166	4	:	:	PUNCT
ajema-7662	166	5	x	x	SYM
ajema-7662	166	6	→	→	PUNCT
ajema-7662	166	7	x	x	X
ajema-7662	166	8	is	be	AUX
ajema-7662	166	9	said	say	VERB
ajema-7662	166	10	to	to	PART
ajema-7662	166	11	be	be	AUX
ajema-7662	166	12	a	a	DET
ajema-7662	166	13	ćirić	ćirić	NOUN
ajema-7662	166	14	-	-	PUNCT
ajema-7662	166	15	type	type	NOUN
ajema-7662	166	16	g	g	NOUN
ajema-7662	166	17	-	-	PUNCT
ajema-7662	166	18	contraction	contraction	NOUN
ajema-7662	166	19	if	if	SCONJ
ajema-7662	166	20	there	there	PRON
ajema-7662	166	21	exists	exist	VERB
ajema-7662	166	22	α	α	PRON
ajema-7662	166	23	∈	∈	PROPN
ajema-7662	167	1	[	[	X
ajema-7662	167	2	0	0	NUM
ajema-7662	167	3	,	,	PUNCT
ajema-7662	167	4	1	1	NUM
ajema-7662	167	5	)	)	PUNCT
ajema-7662	167	6	such	such	ADJ
ajema-7662	167	7	that	that	SCONJ
ajema-7662	167	8	g(tx	g(tx	PROPN
ajema-7662	167	9	,	,	PUNCT
ajema-7662	167	10	ty	ty	INTJ
ajema-7662	167	11	,	,	PUNCT
ajema-7662	167	12	tz	tz	NOUN
ajema-7662	167	13	)	)	PUNCT
ajema-7662	167	14	≤	≤	NOUN
ajema-7662	168	1	α	α	PROPN
ajema-7662	168	2	·	·	PUNCT
ajema-7662	168	3	max{g(x	max{g(x	PROPN
ajema-7662	168	4	,	,	PUNCT
ajema-7662	168	5	y	y	PROPN
ajema-7662	168	6	,	,	PUNCT
ajema-7662	168	7	z	z	NOUN
ajema-7662	168	8	)	)	PUNCT
ajema-7662	168	9	,	,	PUNCT
ajema-7662	168	10	g(x	g(x	PROPN
ajema-7662	168	11	,	,	PUNCT
ajema-7662	168	12	tx	tx	PROPN
ajema-7662	168	13	,	,	PUNCT
ajema-7662	168	14	tx	tx	PROPN
ajema-7662	168	15	)	)	PUNCT
ajema-7662	168	16	,	,	PUNCT
ajema-7662	168	17	g(y	g(y	PROPN
ajema-7662	168	18	,	,	PUNCT
ajema-7662	168	19	ty	ty	INTJ
ajema-7662	168	20	,	,	PUNCT
ajema-7662	168	21	ty	ty	NOUN
ajema-7662	168	22	)	)	PUNCT
ajema-7662	168	23	,	,	PUNCT
ajema-7662	168	24	g(z	g(z	PROPN
ajema-7662	168	25	,	,	PUNCT
ajema-7662	168	26	tz	tz	PROPN
ajema-7662	168	27	,	,	PUNCT
ajema-7662	168	28	tz	tz	PROPN
ajema-7662	168	29	)	)	PUNCT
ajema-7662	168	30	,	,	PUNCT
ajema-7662	168	31	g(x	g(x	PROPN
ajema-7662	168	32	,	,	PUNCT
ajema-7662	168	33	ty	ty	INTJ
ajema-7662	168	34	,	,	PUNCT
ajema-7662	168	35	tz	tz	NOUN
ajema-7662	168	36	)	)	PUNCT
ajema-7662	168	37	,	,	PUNCT
ajema-7662	168	38	g(y	g(y	PROPN
ajema-7662	168	39	,	,	PUNCT
ajema-7662	168	40	tx	tx	PROPN
ajema-7662	168	41	,	,	PUNCT
ajema-7662	168	42	tz	tz	PROPN
ajema-7662	168	43	)	)	PUNCT
ajema-7662	168	44	,	,	PUNCT
ajema-7662	168	45	g(z	g(z	PROPN
ajema-7662	168	46	,	,	PUNCT
ajema-7662	168	47	tx	tx	PROPN
ajema-7662	168	48	,	,	PUNCT
ajema-7662	168	49	ty	ty	NOUN
ajema-7662	168	50	)	)	PUNCT
ajema-7662	168	51	}	}	PUNCT
ajema-7662	168	52	for	for	ADP
ajema-7662	168	53	all	all	DET
ajema-7662	168	54	x	x	NOUN
ajema-7662	168	55	,	,	PUNCT
ajema-7662	168	56	y	y	PROPN
ajema-7662	168	57	,	,	PUNCT
ajema-7662	168	58	z	z	PROPN
ajema-7662	168	59	∈	∈	PROPN
ajema-7662	168	60	x.	x.	NOUN
ajema-7662	168	61	174	174	NUM
ajema-7662	168	62	journal	journal	NOUN
ajema-7662	168	63	of	of	ADP
ajema-7662	168	64	engineering	engineering	NOUN
ajema-7662	168	65	,	,	PUNCT
ajema-7662	168	66	mechanics	mechanic	NOUN
ajema-7662	168	67	and	and	CCONJ
ajema-7662	168	68	architecture	architecture	NOUN
ajema-7662	168	69	www	www	NOUN
ajema-7662	168	70	.	.	PUNCT
ajema-7662	169	1	grnjournal.us	grnjournal.us	X
ajema-7662	169	2	theorem	theorem	VERB
ajema-7662	169	3	3.8	3.8	NUM
ajema-7662	169	4	.	.	PUNCT
ajema-7662	170	1	let	let	AUX
ajema-7662	170	2	(	(	PUNCT
ajema-7662	170	3	x	x	NOUN
ajema-7662	170	4	,	,	PUNCT
ajema-7662	170	5	g	g	NOUN
ajema-7662	170	6	)	)	PUNCT
ajema-7662	170	7	be	be	AUX
ajema-7662	170	8	a	a	DET
ajema-7662	170	9	complete	complete	ADJ
ajema-7662	170	10	g	g	NOUN
ajema-7662	170	11	-	-	PUNCT
ajema-7662	170	12	metric	metric	ADJ
ajema-7662	170	13	space	space	NOUN
ajema-7662	170	14	and	and	CCONJ
ajema-7662	170	15	let	let	VERB
ajema-7662	170	16	t	t	NOUN
ajema-7662	170	17	:	:	PUNCT
ajema-7662	170	18	x	x	SYM
ajema-7662	170	19	→	→	PUNCT
ajema-7662	170	20	x	x	PUNCT
ajema-7662	170	21	be	be	AUX
ajema-7662	170	22	a	a	DET
ajema-7662	170	23	ćirić	ćirić	NOUN
ajema-7662	170	24	-	-	PUNCT
ajema-7662	170	25	type	type	NOUN
ajema-7662	170	26	gcontraction	gcontraction	NOUN
ajema-7662	170	27	.	.	PUNCT
ajema-7662	171	1	then	then	ADV
ajema-7662	171	2	t	t	PROPN
ajema-7662	171	3	has	have	VERB
ajema-7662	171	4	a	a	DET
ajema-7662	171	5	unique	unique	ADJ
ajema-7662	171	6	fixed	fix	VERB
ajema-7662	171	7	point	point	NOUN
ajema-7662	171	8	x	x	X
ajema-7662	171	9	*	*	PUNCT
ajema-7662	171	10	∈	∈	X
ajema-7662	171	11	x	x	NOUN
ajema-7662	171	12	,	,	PUNCT
ajema-7662	171	13	and	and	CCONJ
ajema-7662	171	14	for	for	ADP
ajema-7662	171	15	any	any	DET
ajema-7662	171	16	x0	x0	PROPN
ajema-7662	171	17	∈	∈	PROPN
ajema-7662	171	18	x	x	PRON
ajema-7662	171	19	,	,	PUNCT
ajema-7662	171	20	the	the	DET
ajema-7662	171	21	sequence	sequence	NOUN
ajema-7662	171	22	{	{	PUNCT
ajema-7662	171	23	t^n	t^n	NOUN
ajema-7662	171	24	x0	x0	ADJ
ajema-7662	171	25	}	}	PUNCT
ajema-7662	171	26	converges	converge	VERB
ajema-7662	171	27	to	to	ADP
ajema-7662	171	28	x	x	X
ajema-7662	171	29	*	*	NOUN
ajema-7662	171	30	.	.	PUNCT
ajema-7662	172	1	proof	proof	NOUN
ajema-7662	172	2	.	.	PUNCT
ajema-7662	173	1	the	the	DET
ajema-7662	173	2	proof	proof	NOUN
ajema-7662	173	3	follows	follow	VERB
ajema-7662	173	4	the	the	DET
ajema-7662	173	5	general	general	ADJ
ajema-7662	173	6	approach	approach	NOUN
ajema-7662	173	7	used	use	VERB
ajema-7662	173	8	in	in	ADP
ajema-7662	173	9	the	the	DET
ajema-7662	173	10	previous	previous	ADJ
ajema-7662	173	11	theorems	theorem	NOUN
ajema-7662	173	12	,	,	PUNCT
ajema-7662	173	13	adapted	adapt	VERB
ajema-7662	173	14	to	to	ADP
ajema-7662	173	15	the	the	DET
ajema-7662	173	16	ćirić	ćirić	NOUN
ajema-7662	173	17	-	-	PUNCT
ajema-7662	173	18	type	type	NOUN
ajema-7662	173	19	contractive	contractive	ADJ
ajema-7662	173	20	condition	condition	NOUN
ajema-7662	173	21	.	.	PUNCT
ajema-7662	174	1	the	the	DET
ajema-7662	174	2	details	detail	NOUN
ajema-7662	174	3	are	be	AUX
ajema-7662	174	4	omitted	omit	VERB
ajema-7662	174	5	for	for	ADP
ajema-7662	174	6	brevity	brevity	NOUN
ajema-7662	174	7	.	.	PUNCT
ajema-7662	175	1	4	4	X
ajema-7662	175	2	.	.	X
ajema-7662	175	3	examples	example	NOUN
ajema-7662	175	4	in	in	ADP
ajema-7662	175	5	this	this	DET
ajema-7662	175	6	section	section	NOUN
ajema-7662	175	7	,	,	PUNCT
ajema-7662	175	8	we	we	PRON
ajema-7662	175	9	provide	provide	VERB
ajema-7662	175	10	examples	example	NOUN
ajema-7662	175	11	to	to	PART
ajema-7662	175	12	illustrate	illustrate	VERB
ajema-7662	175	13	our	our	PRON
ajema-7662	175	14	theoretical	theoretical	ADJ
ajema-7662	175	15	results	result	NOUN
ajema-7662	175	16	and	and	CCONJ
ajema-7662	175	17	to	to	PART
ajema-7662	175	18	demonstrate	demonstrate	VERB
ajema-7662	175	19	that	that	SCONJ
ajema-7662	175	20	our	our	PRON
ajema-7662	175	21	theorems	theorem	NOUN
ajema-7662	175	22	properly	properly	ADV
ajema-7662	175	23	extend	extend	VERB
ajema-7662	175	24	the	the	DET
ajema-7662	175	25	existing	exist	VERB
ajema-7662	175	26	literature	literature	NOUN
ajema-7662	175	27	.	.	PUNCT
ajema-7662	176	1	example	example	NOUN
ajema-7662	176	2	4.1	4.1	NUM
ajema-7662	176	3	.	.	PUNCT
ajema-7662	177	1	let	let	VERB
ajema-7662	177	2	x	x	PUNCT
ajema-7662	177	3	=	=	PUNCT
ajema-7662	178	1	[	[	X
ajema-7662	178	2	0	0	NUM
ajema-7662	178	3	,	,	PUNCT
ajema-7662	178	4	1	1	NUM
ajema-7662	178	5	]	]	PUNCT
ajema-7662	178	6	and	and	CCONJ
ajema-7662	178	7	define	define	VERB
ajema-7662	178	8	g	g	NOUN
ajema-7662	178	9	:	:	PUNCT
ajema-7662	178	10	x	x	SYM
ajema-7662	178	11	×	×	NOUN
ajema-7662	178	12	x	x	SYM
ajema-7662	178	13	×	×	NOUN
ajema-7662	178	14	x	x	INTJ
ajema-7662	178	15	→	→	SYM
ajema-7662	178	16	[	[	X
ajema-7662	178	17	0	0	NUM
ajema-7662	178	18	,	,	PUNCT
ajema-7662	178	19	∞	∞	NUM
ajema-7662	178	20	)	)	PUNCT
ajema-7662	178	21	by	by	ADP
ajema-7662	178	22	g(x	g(x	PROPN
ajema-7662	178	23	,	,	PUNCT
ajema-7662	178	24	y	y	PROPN
ajema-7662	178	25	,	,	PUNCT
ajema-7662	178	26	z	z	NOUN
ajema-7662	178	27	)	)	PUNCT
ajema-7662	178	28	=	=	SYM
ajema-7662	178	29	max{|x	max{|x	PROPN
ajema-7662	178	30	y|	y|	NOUN
ajema-7662	178	31	,	,	PUNCT
ajema-7662	178	32	|y	|y	ADJ
ajema-7662	178	33	z|	z|	PROPN
ajema-7662	178	34	,	,	PUNCT
ajema-7662	178	35	|z	|z	PROPN
ajema-7662	178	36	x|	x|	PROPN
ajema-7662	178	37	}	}	PUNCT
ajema-7662	178	38	it	it	PRON
ajema-7662	178	39	can	can	AUX
ajema-7662	178	40	be	be	AUX
ajema-7662	178	41	verified	verify	VERB
ajema-7662	178	42	that	that	SCONJ
ajema-7662	178	43	(	(	PUNCT
ajema-7662	178	44	x	x	X
ajema-7662	178	45	,	,	PUNCT
ajema-7662	178	46	g	g	NOUN
ajema-7662	178	47	)	)	PUNCT
ajema-7662	178	48	is	be	AUX
ajema-7662	178	49	a	a	DET
ajema-7662	178	50	complete	complete	ADJ
ajema-7662	178	51	g	g	NOUN
ajema-7662	178	52	-	-	PUNCT
ajema-7662	178	53	metric	metric	ADJ
ajema-7662	178	54	space	space	NOUN
ajema-7662	178	55	.	.	PUNCT
ajema-7662	179	1	define	define	VERB
ajema-7662	179	2	t	t	NOUN
ajema-7662	179	3	:	:	PUNCT
ajema-7662	179	4	x	x	SYM
ajema-7662	179	5	→	→	SYM
ajema-7662	179	6	x	x	PUNCT
ajema-7662	179	7	by	by	ADP
ajema-7662	179	8	tx	tx	PROPN
ajema-7662	179	9	=	=	SYM
ajema-7662	179	10	x/(1	x/(1	PROPN
ajema-7662	180	1	+	+	CCONJ
ajema-7662	180	2	x	x	X
ajema-7662	180	3	)	)	PUNCT
ajema-7662	180	4	for	for	ADP
ajema-7662	180	5	all	all	DET
ajema-7662	180	6	x	x	SYM
ajema-7662	180	7	∈	∈	PROPN
ajema-7662	180	8	x	x	X
ajema-7662	180	9	and	and	CCONJ
ajema-7662	180	10	φ	φ	NOUN
ajema-7662	180	11	:	:	PUNCT
ajema-7662	181	1	[	[	X
ajema-7662	181	2	0	0	NUM
ajema-7662	181	3	,	,	PUNCT
ajema-7662	181	4	∞	∞	PROPN
ajema-7662	181	5	)	)	PUNCT
ajema-7662	181	6	→	→	PUNCT
ajema-7662	182	1	[	[	X
ajema-7662	182	2	0	0	NUM
ajema-7662	182	3	,	,	PUNCT
ajema-7662	182	4	∞	∞	NUM
ajema-7662	182	5	)	)	PUNCT
ajema-7662	182	6	by	by	ADP
ajema-7662	182	7	φ(t	φ(t	PROPN
ajema-7662	182	8	)	)	PUNCT
ajema-7662	182	9	=	=	NOUN
ajema-7662	182	10	t/2	t/2	NUM
ajema-7662	182	11	for	for	ADP
ajema-7662	182	12	all	all	DET
ajema-7662	182	13	t	t	PROPN
ajema-7662	182	14	≥	≥	NOUN
ajema-7662	182	15	0	0	NUM
ajema-7662	182	16	.	.	PUNCT
ajema-7662	183	1	we	we	PRON
ajema-7662	183	2	will	will	AUX
ajema-7662	183	3	show	show	VERB
ajema-7662	183	4	that	that	SCONJ
ajema-7662	183	5	t	t	PROPN
ajema-7662	183	6	is	be	AUX
ajema-7662	183	7	a	a	DET
ajema-7662	183	8	g	g	NOUN
ajema-7662	183	9	-	-	PUNCT
ajema-7662	183	10	weakly	weakly	ADV
ajema-7662	183	11	contractive	contractive	ADJ
ajema-7662	183	12	mapping	mapping	NOUN
ajema-7662	183	13	.	.	PUNCT
ajema-7662	184	1	for	for	ADP
ajema-7662	184	2	any	any	DET
ajema-7662	184	3	x	x	NOUN
ajema-7662	184	4	,	,	PUNCT
ajema-7662	184	5	y	y	PROPN
ajema-7662	184	6	,	,	PUNCT
ajema-7662	184	7	z	z	PROPN
ajema-7662	184	8	∈	∈	PROPN
ajema-7662	184	9	x	x	X
ajema-7662	184	10	,	,	PUNCT
ajema-7662	184	11	we	we	PRON
ajema-7662	184	12	have	have	VERB
ajema-7662	184	13	|tx	|tx	PRON
ajema-7662	185	1	ty|	ty|	ADJ
ajema-7662	185	2	=	=	PUNCT
ajema-7662	185	3	|x/(1	|x/(1	PUNCT
ajema-7662	185	4	+	+	NUM
ajema-7662	185	5	x	x	X
ajema-7662	185	6	)	)	PUNCT
ajema-7662	185	7	y/(1	y/(1	NOUN
ajema-7662	186	1	+	+	CCONJ
ajema-7662	186	2	y)|	y)|	PROPN
ajema-7662	186	3	=	=	SYM
ajema-7662	186	4	|x	|x	VERB
ajema-7662	186	5	y|/[(1	y|/[(1	PROPN
ajema-7662	186	6	+	+	PUNCT
ajema-7662	186	7	x)(1	x)(1	PUNCT
ajema-7662	187	1	+	+	CCONJ
ajema-7662	187	2	y	y	NOUN
ajema-7662	187	3	)	)	PUNCT
ajema-7662	187	4	]	]	PUNCT
ajema-7662	187	5	≤	≤	NUM
ajema-7662	187	6	|x	|x	NOUN
ajema-7662	187	7	y|/1	y|/1	NOUN
ajema-7662	187	8	=	=	SYM
ajema-7662	187	9	|x	|x	NOUN
ajema-7662	187	10	y|	y|	NOUN
ajema-7662	187	11	similarly	similarly	ADV
ajema-7662	187	12	,	,	PUNCT
ajema-7662	187	13	|ty	|ty	X
ajema-7662	187	14	tz|	tz|	ADP
ajema-7662	187	15	≤	≤	NUM
ajema-7662	187	16	|y	|y	NOUN
ajema-7662	187	17	z|	z|	PROPN
ajema-7662	187	18	and	and	CCONJ
ajema-7662	187	19	|tz	|tz	PROPN
ajema-7662	187	20	tx|	tx|	PROPN
ajema-7662	187	21	≤	≤	NUM
ajema-7662	187	22	|z	|z	PROPN
ajema-7662	187	23	x|	x|	PROPN
ajema-7662	187	24	.	.	PUNCT
ajema-7662	188	1	therefore	therefore	ADV
ajema-7662	188	2	,	,	PUNCT
ajema-7662	188	3	g(tx	g(tx	PROPN
ajema-7662	188	4	,	,	PUNCT
ajema-7662	188	5	ty	ty	INTJ
ajema-7662	188	6	,	,	PUNCT
ajema-7662	188	7	tz	tz	NOUN
ajema-7662	188	8	)	)	PUNCT
ajema-7662	188	9	=	=	NOUN
ajema-7662	188	10	max{|tx	max{|tx	NOUN
ajema-7662	188	11	ty|	ty|	ADV
ajema-7662	188	12	,	,	PUNCT
ajema-7662	188	13	|ty	|ty	AUX
ajema-7662	188	14	tz|	tz|	NOUN
ajema-7662	188	15	,	,	PUNCT
ajema-7662	188	16	|tz	|tz	X
ajema-7662	188	17	tx|	tx|	NOUN
ajema-7662	188	18	}	}	PUNCT
ajema-7662	188	19	≤	≤	NOUN
ajema-7662	188	20	max{|x	max{|x	PROPN
ajema-7662	188	21	y|	y|	NOUN
ajema-7662	188	22	,	,	PUNCT
ajema-7662	188	23	|y	|y	ADJ
ajema-7662	188	24	z|	z|	PROPN
ajema-7662	188	25	,	,	PUNCT
ajema-7662	188	26	|z	|z	PROPN
ajema-7662	188	27	x|	x|	PROPN
ajema-7662	188	28	}	}	PUNCT
ajema-7662	188	29	=	=	SYM
ajema-7662	188	30	g(x	g(x	PROPN
ajema-7662	188	31	,	,	PUNCT
ajema-7662	188	32	y	y	PROPN
ajema-7662	188	33	,	,	PUNCT
ajema-7662	188	34	z	z	NOUN
ajema-7662	188	35	)	)	PUNCT
ajema-7662	188	36	in	in	ADP
ajema-7662	188	37	fact	fact	NOUN
ajema-7662	188	38	,	,	PUNCT
ajema-7662	188	39	for	for	ADP
ajema-7662	188	40	x	x	SYM
ajema-7662	188	41	,	,	PUNCT
ajema-7662	188	42	y	y	PROPN
ajema-7662	188	43	,	,	PUNCT
ajema-7662	188	44	z	z	NOUN
ajema-7662	188	45	∈	∈	PROPN
ajema-7662	188	46	x	x	PUNCT
ajema-7662	188	47	with	with	ADP
ajema-7662	188	48	x	x	PROPN
ajema-7662	188	49	,	,	PUNCT
ajema-7662	188	50	y	y	PROPN
ajema-7662	188	51	,	,	PUNCT
ajema-7662	188	52	z	z	VERB
ajema-7662	188	53	not	not	PART
ajema-7662	188	54	all	all	ADV
ajema-7662	188	55	equal	equal	ADJ
ajema-7662	188	56	,	,	PUNCT
ajema-7662	188	57	we	we	PRON
ajema-7662	188	58	have	have	VERB
ajema-7662	188	59	g(tx	g(tx	NOUN
ajema-7662	188	60	,	,	PUNCT
ajema-7662	188	61	ty	ty	INTJ
ajema-7662	188	62	,	,	PUNCT
ajema-7662	188	63	tz	tz	PROPN
ajema-7662	188	64	)	)	PUNCT
ajema-7662	188	65	<	<	X
ajema-7662	189	1	g(x	g(x	PROPN
ajema-7662	189	2	,	,	PUNCT
ajema-7662	189	3	y	y	PROPN
ajema-7662	189	4	,	,	PUNCT
ajema-7662	189	5	z	z	NOUN
ajema-7662	189	6	)	)	PUNCT
ajema-7662	189	7	which	which	PRON
ajema-7662	189	8	implies	imply	VERB
ajema-7662	189	9	g(tx	g(tx	PROPN
ajema-7662	189	10	,	,	PUNCT
ajema-7662	189	11	ty	ty	INTJ
ajema-7662	189	12	,	,	PUNCT
ajema-7662	189	13	tz	tz	NOUN
ajema-7662	189	14	)	)	PUNCT
ajema-7662	189	15	≤	≤	NOUN
ajema-7662	189	16	g(x	g(x	NOUN
ajema-7662	189	17	,	,	PUNCT
ajema-7662	189	18	y	y	PROPN
ajema-7662	189	19	,	,	PUNCT
ajema-7662	189	20	z	z	NOUN
ajema-7662	189	21	)	)	PUNCT
ajema-7662	190	1	[	[	X
ajema-7662	190	2	g(x	g(x	X
ajema-7662	190	3	,	,	PUNCT
ajema-7662	190	4	y	y	PROPN
ajema-7662	190	5	,	,	PUNCT
ajema-7662	190	6	z	z	NOUN
ajema-7662	190	7	)	)	PUNCT
ajema-7662	190	8	g(tx	g(tx	PROPN
ajema-7662	190	9	,	,	PUNCT
ajema-7662	190	10	ty	ty	INTJ
ajema-7662	190	11	,	,	PUNCT
ajema-7662	190	12	tz	tz	PROPN
ajema-7662	190	13	)	)	PUNCT
ajema-7662	190	14	]	]	PUNCT
ajema-7662	190	15	≤	≤	NUM
ajema-7662	190	16	g(x	g(x	NOUN
ajema-7662	190	17	,	,	PUNCT
ajema-7662	190	18	y	y	PROPN
ajema-7662	190	19	,	,	PUNCT
ajema-7662	190	20	z	z	NOUN
ajema-7662	190	21	)	)	PUNCT
ajema-7662	190	22	g(x	g(x	PROPN
ajema-7662	190	23	,	,	PUNCT
ajema-7662	190	24	y	y	NOUN
ajema-7662	190	25	,	,	PUNCT
ajema-7662	190	26	z)/2	z)/2	NOUN
ajema-7662	190	27	=	=	SYM
ajema-7662	190	28	g(x	g(x	PROPN
ajema-7662	190	29	,	,	PUNCT
ajema-7662	190	30	y	y	PROPN
ajema-7662	190	31	,	,	PUNCT
ajema-7662	190	32	z	z	NOUN
ajema-7662	190	33	)	)	PUNCT
ajema-7662	190	34	φ(g(x	φ(g(x	PROPN
ajema-7662	190	35	,	,	PUNCT
ajema-7662	190	36	y	y	PROPN
ajema-7662	190	37	,	,	PUNCT
ajema-7662	190	38	z	z	NOUN
ajema-7662	190	39	)	)	PUNCT
ajema-7662	190	40	)	)	PUNCT
ajema-7662	190	41	thus	thus	ADV
ajema-7662	190	42	,	,	PUNCT
ajema-7662	190	43	t	t	PROPN
ajema-7662	190	44	is	be	AUX
ajema-7662	190	45	a	a	DET
ajema-7662	190	46	g	g	NOUN
ajema-7662	190	47	-	-	PUNCT
ajema-7662	190	48	weakly	weakly	ADV
ajema-7662	190	49	contractive	contractive	ADJ
ajema-7662	190	50	mapping	mapping	NOUN
ajema-7662	190	51	.	.	PUNCT
ajema-7662	191	1	by	by	ADP
ajema-7662	191	2	theorem	theorem	NOUN
ajema-7662	191	3	3.2	3.2	NUM
ajema-7662	191	4	,	,	PUNCT
ajema-7662	191	5	t	t	PROPN
ajema-7662	191	6	has	have	VERB
ajema-7662	191	7	a	a	DET
ajema-7662	191	8	unique	unique	ADJ
ajema-7662	191	9	fixed	fix	VERB
ajema-7662	191	10	point	point	NOUN
ajema-7662	191	11	,	,	PUNCT
ajema-7662	191	12	which	which	PRON
ajema-7662	191	13	is	be	AUX
ajema-7662	191	14	x	x	X
ajema-7662	191	15	*	*	PUNCT
ajema-7662	191	16	=	=	SYM
ajema-7662	191	17	0	0	X
ajema-7662	191	18	.	.	PUNCT
ajema-7662	191	19	example	example	NOUN
ajema-7662	191	20	4.2	4.2	NUM
ajema-7662	191	21	.	.	PUNCT
ajema-7662	192	1	let	let	VERB
ajema-7662	192	2	x	x	PUNCT
ajema-7662	192	3	=	=	PUNCT
ajema-7662	193	1	[	[	X
ajema-7662	193	2	0	0	NUM
ajema-7662	193	3	,	,	PUNCT
ajema-7662	193	4	∞	∞	PROPN
ajema-7662	193	5	)	)	PUNCT
ajema-7662	193	6	and	and	CCONJ
ajema-7662	193	7	define	define	VERB
ajema-7662	193	8	g	g	NOUN
ajema-7662	193	9	:	:	PUNCT
ajema-7662	193	10	x	x	SYM
ajema-7662	193	11	×	×	NOUN
ajema-7662	193	12	x	x	SYM
ajema-7662	193	13	×	×	NOUN
ajema-7662	193	14	x	x	INTJ
ajema-7662	193	15	→	→	SYM
ajema-7662	193	16	[	[	X
ajema-7662	193	17	0	0	NUM
ajema-7662	193	18	,	,	PUNCT
ajema-7662	193	19	∞	∞	NUM
ajema-7662	193	20	)	)	PUNCT
ajema-7662	193	21	by	by	ADP
ajema-7662	193	22	g(x	g(x	PROPN
ajema-7662	193	23	,	,	PUNCT
ajema-7662	193	24	y	y	PROPN
ajema-7662	193	25	,	,	PUNCT
ajema-7662	193	26	z	z	NOUN
ajema-7662	193	27	)	)	PUNCT
ajema-7662	193	28	=	=	SYM
ajema-7662	193	29	|x	|x	X
ajema-7662	193	30	y|	y|	NOUN
ajema-7662	193	31	+	+	CCONJ
ajema-7662	193	32	|y	|y	VERB
ajema-7662	193	33	z|	z|	PROPN
ajema-7662	194	1	+	+	CCONJ
ajema-7662	195	1	|z	|z	PROPN
ajema-7662	196	1	x|	x|	PROPN
ajema-7662	197	1	it	it	PRON
ajema-7662	197	2	can	can	AUX
ajema-7662	197	3	be	be	AUX
ajema-7662	197	4	verified	verify	VERB
ajema-7662	197	5	that	that	SCONJ
ajema-7662	197	6	(	(	PUNCT
ajema-7662	197	7	x	x	X
ajema-7662	197	8	,	,	PUNCT
ajema-7662	197	9	g	g	NOUN
ajema-7662	197	10	)	)	PUNCT
ajema-7662	197	11	is	be	AUX
ajema-7662	197	12	a	a	DET
ajema-7662	197	13	complete	complete	ADJ
ajema-7662	197	14	g	g	NOUN
ajema-7662	197	15	-	-	PUNCT
ajema-7662	197	16	metric	metric	ADJ
ajema-7662	197	17	space	space	NOUN
ajema-7662	197	18	.	.	PUNCT
ajema-7662	198	1	define	define	VERB
ajema-7662	198	2	t	t	NOUN
ajema-7662	198	3	:	:	PUNCT
ajema-7662	198	4	x	x	SYM
ajema-7662	198	5	→	→	SYM
ajema-7662	198	6	x	x	PUNCT
ajema-7662	198	7	by	by	ADP
ajema-7662	198	8	tx	tx	PROPN
ajema-7662	198	9	=	=	PUNCT
ajema-7662	198	10	x/(2	x/(2	PROPN
ajema-7662	199	1	+	+	CCONJ
ajema-7662	200	1	x	x	X
ajema-7662	200	2	)	)	PUNCT
ajema-7662	200	3	for	for	ADP
ajema-7662	200	4	all	all	DET
ajema-7662	200	5	x	x	SYM
ajema-7662	200	6	∈	∈	PROPN
ajema-7662	200	7	x	x	X
ajema-7662	200	8	and	and	CCONJ
ajema-7662	200	9	φ	φ	NOUN
ajema-7662	200	10	:	:	PUNCT
ajema-7662	201	1	[	[	X
ajema-7662	201	2	0	0	NUM
ajema-7662	201	3	,	,	PUNCT
ajema-7662	201	4	∞	∞	PROPN
ajema-7662	201	5	)	)	PUNCT
ajema-7662	201	6	→	→	PUNCT
ajema-7662	202	1	[	[	X
ajema-7662	202	2	0	0	NUM
ajema-7662	202	3	,	,	PUNCT
ajema-7662	202	4	∞	∞	NUM
ajema-7662	202	5	)	)	PUNCT
ajema-7662	202	6	by	by	ADP
ajema-7662	202	7	φ(t	φ(t	NOUN
ajema-7662	202	8	)	)	PUNCT
ajema-7662	202	9	=	=	SYM
ajema-7662	202	10	t/3	t/3	NOUN
ajema-7662	202	11	for	for	ADP
ajema-7662	202	12	all	all	DET
ajema-7662	202	13	t	t	PROPN
ajema-7662	202	14	≥	≥	NOUN
ajema-7662	202	15	0	0	NUM
ajema-7662	202	16	.	.	PUNCT
ajema-7662	203	1	we	we	PRON
ajema-7662	203	2	will	will	AUX
ajema-7662	203	3	show	show	VERB
ajema-7662	203	4	that	that	SCONJ
ajema-7662	203	5	t	t	PROPN
ajema-7662	203	6	is	be	AUX
ajema-7662	203	7	a	a	DET
ajema-7662	203	8	g	g	NOUN
ajema-7662	203	9	-	-	PUNCT
ajema-7662	203	10	φ	φ	VERB
ajema-7662	203	11	-	-	PUNCT
ajema-7662	203	12	weak	weak	ADJ
ajema-7662	203	13	contraction	contraction	NOUN
ajema-7662	203	14	.	.	PUNCT
ajema-7662	204	1	for	for	ADP
ajema-7662	204	2	any	any	DET
ajema-7662	204	3	x	x	NOUN
ajema-7662	204	4	,	,	PUNCT
ajema-7662	204	5	y	y	PROPN
ajema-7662	204	6	,	,	PUNCT
ajema-7662	204	7	z	z	PROPN
ajema-7662	204	8	∈	∈	PROPN
ajema-7662	204	9	x	x	X
ajema-7662	204	10	,	,	PUNCT
ajema-7662	204	11	it	it	PRON
ajema-7662	204	12	can	can	AUX
ajema-7662	204	13	be	be	AUX
ajema-7662	204	14	shown	show	VERB
ajema-7662	204	15	that	that	SCONJ
ajema-7662	204	16	g(tx	g(tx	NOUN
ajema-7662	204	17	,	,	PUNCT
ajema-7662	204	18	ty	ty	INTJ
ajema-7662	204	19	,	,	PUNCT
ajema-7662	204	20	tz	tz	PROPN
ajema-7662	204	21	)	)	PUNCT
ajema-7662	204	22	≤	≤	NOUN
ajema-7662	204	23	m_g(x	m_g(x	X
ajema-7662	204	24	,	,	PUNCT
ajema-7662	204	25	y	y	PROPN
ajema-7662	204	26	,	,	PUNCT
ajema-7662	204	27	z	z	NOUN
ajema-7662	204	28	)	)	PUNCT
ajema-7662	204	29	φ(m_g(x	φ(m_g(x	NOUN
ajema-7662	204	30	,	,	PUNCT
ajema-7662	204	31	y	y	PROPN
ajema-7662	204	32	,	,	PUNCT
ajema-7662	204	33	z	z	NOUN
ajema-7662	204	34	)	)	PUNCT
ajema-7662	204	35	)	)	PUNCT
ajema-7662	204	36	where	where	SCONJ
ajema-7662	204	37	m_g(x	m_g(x	X
ajema-7662	204	38	,	,	PUNCT
ajema-7662	204	39	y	y	PROPN
ajema-7662	204	40	,	,	PUNCT
ajema-7662	204	41	z	z	NOUN
ajema-7662	204	42	)	)	PUNCT
ajema-7662	204	43	is	be	AUX
ajema-7662	204	44	as	as	SCONJ
ajema-7662	204	45	defined	define	VERB
ajema-7662	204	46	in	in	ADP
ajema-7662	204	47	definition	definition	NOUN
ajema-7662	204	48	3.3	3.3	NUM
ajema-7662	204	49	.	.	PUNCT
ajema-7662	205	1	by	by	ADP
ajema-7662	205	2	theorem	theorem	NOUN
ajema-7662	205	3	3.4	3.4	NUM
ajema-7662	205	4	,	,	PUNCT
ajema-7662	205	5	t	t	PROPN
ajema-7662	205	6	has	have	VERB
ajema-7662	205	7	a	a	DET
ajema-7662	205	8	unique	unique	ADJ
ajema-7662	205	9	fixed	fix	VERB
ajema-7662	205	10	point	point	NOUN
ajema-7662	205	11	,	,	PUNCT
ajema-7662	205	12	which	which	PRON
ajema-7662	205	13	is	be	AUX
ajema-7662	205	14	x	x	X
ajema-7662	205	15	*	*	PUNCT
ajema-7662	205	16	=	=	SYM
ajema-7662	205	17	0	0	NUM
ajema-7662	205	18	.	.	NOUN
ajema-7662	205	19	5	5	NUM
ajema-7662	205	20	.	.	PUNCT
ajema-7662	205	21	applications	application	NOUN
ajema-7662	205	22	in	in	ADP
ajema-7662	205	23	this	this	DET
ajema-7662	205	24	section	section	NOUN
ajema-7662	205	25	,	,	PUNCT
ajema-7662	205	26	we	we	PRON
ajema-7662	205	27	discuss	discuss	VERB
ajema-7662	205	28	some	some	DET
ajema-7662	205	29	applications	application	NOUN
ajema-7662	205	30	of	of	ADP
ajema-7662	205	31	our	our	PRON
ajema-7662	205	32	fixed	fix	VERB
ajema-7662	205	33	point	point	NOUN
ajema-7662	205	34	theorems	theorem	NOUN
ajema-7662	205	35	to	to	ADP
ajema-7662	205	36	nonlinear	nonlinear	ADJ
ajema-7662	205	37	integral	integral	ADJ
ajema-7662	205	38	equations	equation	NOUN
ajema-7662	205	39	in	in	ADP
ajema-7662	205	40	g	g	NOUN
ajema-7662	205	41	-	-	PUNCT
ajema-7662	205	42	metric	metric	ADJ
ajema-7662	205	43	spaces	space	NOUN
ajema-7662	205	44	.	.	PUNCT
ajema-7662	206	1	consider	consider	VERB
ajema-7662	206	2	the	the	DET
ajema-7662	206	3	nonlinear	nonlinear	ADJ
ajema-7662	206	4	integral	integral	ADJ
ajema-7662	206	5	equation	equation	NOUN
ajema-7662	206	6	175	175	NUM
ajema-7662	206	7	journal	journal	NOUN
ajema-7662	206	8	of	of	ADP
ajema-7662	206	9	engineering	engineering	NOUN
ajema-7662	206	10	,	,	PUNCT
ajema-7662	206	11	mechanics	mechanic	NOUN
ajema-7662	206	12	and	and	CCONJ
ajema-7662	206	13	architecture	architecture	NOUN
ajema-7662	206	14	www	www	NOUN
ajema-7662	206	15	.	.	PROPN
ajema-7662	207	1	grnjournal.us	grnjournal.us	X
ajema-7662	207	2	x(t	x(t	PROPN
ajema-7662	207	3	)	)	PUNCT
ajema-7662	207	4	=	=	SYM
ajema-7662	207	5	f(t	f(t	NOUN
ajema-7662	207	6	)	)	PUNCT
ajema-7662	208	1	+	+	NUM
ajema-7662	208	2	∫_a^b	∫_a^b	X
ajema-7662	208	3	k(t	k(t	X
ajema-7662	208	4	,	,	PUNCT
ajema-7662	208	5	s	s	X
ajema-7662	208	6	,	,	PUNCT
ajema-7662	208	7	x(s	x(s	PROPN
ajema-7662	208	8	)	)	PUNCT
ajema-7662	208	9	)	)	PUNCT
ajema-7662	208	10	ds	ds	PROPN
ajema-7662	208	11	,	,	PUNCT
ajema-7662	208	12	t	t	PROPN
ajema-7662	208	13	∈	∈	PROPN
ajema-7662	209	1	[	[	X
ajema-7662	209	2	a	a	X
ajema-7662	209	3	,	,	PUNCT
ajema-7662	209	4	b	b	NOUN
ajema-7662	209	5	]	]	X
ajema-7662	210	1	where	where	SCONJ
ajema-7662	210	2	f	f	X
ajema-7662	210	3	:	:	PUNCT
ajema-7662	211	1	[	[	X
ajema-7662	211	2	a	a	X
ajema-7662	211	3	,	,	PUNCT
ajema-7662	211	4	b	b	NOUN
ajema-7662	211	5	]	]	X
ajema-7662	211	6	→	→	PUNCT
ajema-7662	211	7	ℝ	ℝ	PROPN
ajema-7662	211	8	is	be	AUX
ajema-7662	211	9	a	a	DET
ajema-7662	211	10	continuous	continuous	ADJ
ajema-7662	211	11	function	function	NOUN
ajema-7662	211	12	,	,	PUNCT
ajema-7662	211	13	k	k	NOUN
ajema-7662	211	14	:	:	PUNCT
ajema-7662	212	1	[	[	X
ajema-7662	212	2	a	a	X
ajema-7662	212	3	,	,	PUNCT
ajema-7662	212	4	b	b	NOUN
ajema-7662	212	5	]	]	X
ajema-7662	212	6	×	×	NOUN
ajema-7662	212	7	[	[	X
ajema-7662	212	8	a	a	X
ajema-7662	212	9	,	,	PUNCT
ajema-7662	212	10	b	b	NOUN
ajema-7662	212	11	]	]	X
ajema-7662	212	12	×	×	NOUN
ajema-7662	212	13	ℝ	ℝ	PROPN
ajema-7662	212	14	→	→	PUNCT
ajema-7662	212	15	ℝ	ℝ	PROPN
ajema-7662	212	16	is	be	AUX
ajema-7662	212	17	a	a	DET
ajema-7662	212	18	continuous	continuous	ADJ
ajema-7662	212	19	function	function	NOUN
ajema-7662	212	20	,	,	PUNCT
ajema-7662	212	21	and	and	CCONJ
ajema-7662	212	22	we	we	PRON
ajema-7662	212	23	seek	seek	VERB
ajema-7662	212	24	a	a	DET
ajema-7662	212	25	continuous	continuous	ADJ
ajema-7662	212	26	solution	solution	NOUN
ajema-7662	212	27	x	x	NOUN
ajema-7662	212	28	:	:	PUNCT
ajema-7662	213	1	[	[	X
ajema-7662	213	2	a	a	X
ajema-7662	213	3	,	,	PUNCT
ajema-7662	213	4	b	b	NOUN
ajema-7662	213	5	]	]	X
ajema-7662	213	6	→	→	SYM
ajema-7662	213	7	ℝ.	ℝ.	PROPN
ajema-7662	213	8	let	let	VERB
ajema-7662	213	9	x	x	SYM
ajema-7662	213	10	=	=	SYM
ajema-7662	213	11	c([a	c([a	PROPN
ajema-7662	213	12	,	,	PUNCT
ajema-7662	213	13	b	b	NOUN
ajema-7662	213	14	]	]	X
ajema-7662	213	15	,	,	PUNCT
ajema-7662	213	16	ℝ	ℝ	PROPN
ajema-7662	213	17	)	)	PUNCT
ajema-7662	213	18	be	be	VERB
ajema-7662	213	19	the	the	DET
ajema-7662	213	20	space	space	NOUN
ajema-7662	213	21	of	of	ADP
ajema-7662	213	22	continuous	continuous	ADJ
ajema-7662	213	23	functions	function	NOUN
ajema-7662	213	24	from	from	ADP
ajema-7662	213	25	[	[	X
ajema-7662	213	26	a	a	PRON
ajema-7662	213	27	,	,	PUNCT
ajema-7662	213	28	b	b	NOUN
ajema-7662	213	29	]	]	X
ajema-7662	213	30	to	to	ADP
ajema-7662	213	31	ℝ	ℝ	PROPN
ajema-7662	213	32	,	,	PUNCT
ajema-7662	213	33	equipped	equip	VERB
ajema-7662	213	34	with	with	ADP
ajema-7662	213	35	the	the	DET
ajema-7662	213	36	gmetric	gmetric	PROPN
ajema-7662	213	37	g(x	g(x	PROPN
ajema-7662	213	38	,	,	PUNCT
ajema-7662	213	39	y	y	PROPN
ajema-7662	213	40	,	,	PUNCT
ajema-7662	213	41	z	z	NOUN
ajema-7662	213	42	)	)	PUNCT
ajema-7662	213	43	=	=	SYM
ajema-7662	213	44	sup_{t∈[a	sup_{t∈[a	NOUN
ajema-7662	213	45	,	,	PUNCT
ajema-7662	213	46	b	b	NOUN
ajema-7662	213	47	]	]	X
ajema-7662	213	48	}	}	PUNCT
ajema-7662	213	49	{	{	PUNCT
ajema-7662	213	50	|x(t	|x(t	PROPN
ajema-7662	213	51	)	)	PUNCT
ajema-7662	213	52	y(t)|	y(t)|	PROPN
ajema-7662	213	53	+	+	NUM
ajema-7662	213	54	|y(t	|y(t	NOUN
ajema-7662	213	55	)	)	PUNCT
ajema-7662	213	56	z(t)|	z(t)|	NOUN
ajema-7662	213	57	+	+	NUM
ajema-7662	213	58	|z(t	|z(t	PROPN
ajema-7662	213	59	)	)	PUNCT
ajema-7662	213	60	x(t)|	x(t)|	SCONJ
ajema-7662	213	61	}	}	PUNCT
ajema-7662	213	62	it	it	PRON
ajema-7662	213	63	can	can	AUX
ajema-7662	213	64	be	be	AUX
ajema-7662	213	65	shown	show	VERB
ajema-7662	213	66	that	that	SCONJ
ajema-7662	213	67	(	(	PUNCT
ajema-7662	213	68	x	x	X
ajema-7662	213	69	,	,	PUNCT
ajema-7662	213	70	g	g	NOUN
ajema-7662	213	71	)	)	PUNCT
ajema-7662	213	72	is	be	AUX
ajema-7662	213	73	a	a	DET
ajema-7662	213	74	complete	complete	ADJ
ajema-7662	213	75	g	g	NOUN
ajema-7662	213	76	-	-	PUNCT
ajema-7662	213	77	metric	metric	ADJ
ajema-7662	213	78	space	space	NOUN
ajema-7662	213	79	.	.	PUNCT
ajema-7662	214	1	define	define	VERB
ajema-7662	214	2	the	the	DET
ajema-7662	214	3	operator	operator	NOUN
ajema-7662	214	4	t	t	PROPN
ajema-7662	214	5	:	:	PUNCT
ajema-7662	214	6	x	x	SYM
ajema-7662	214	7	→	→	SYM
ajema-7662	214	8	x	x	SYM
ajema-7662	214	9	by	by	ADP
ajema-7662	214	10	(	(	PUNCT
ajema-7662	214	11	tx)(t	tx)(t	PROPN
ajema-7662	214	12	)	)	PUNCT
ajema-7662	214	13	=	=	SYM
ajema-7662	214	14	f(t	f(t	NOUN
ajema-7662	214	15	)	)	PUNCT
ajema-7662	215	1	+	+	NUM
ajema-7662	215	2	∫_a^b	∫_a^b	X
ajema-7662	215	3	k(t	k(t	X
ajema-7662	215	4	,	,	PUNCT
ajema-7662	215	5	s	s	X
ajema-7662	215	6	,	,	PUNCT
ajema-7662	215	7	x(s	x(s	PROPN
ajema-7662	215	8	)	)	PUNCT
ajema-7662	215	9	)	)	PUNCT
ajema-7662	215	10	ds	d	VERB
ajema-7662	215	11	under	under	ADP
ajema-7662	215	12	suitable	suitable	ADJ
ajema-7662	215	13	conditions	condition	NOUN
ajema-7662	215	14	on	on	ADP
ajema-7662	215	15	the	the	DET
ajema-7662	215	16	kernel	kernel	PROPN
ajema-7662	215	17	k	k	PROPN
ajema-7662	215	18	,	,	PUNCT
ajema-7662	215	19	we	we	PRON
ajema-7662	215	20	can	can	AUX
ajema-7662	215	21	show	show	VERB
ajema-7662	215	22	that	that	SCONJ
ajema-7662	215	23	t	t	PROPN
ajema-7662	215	24	is	be	AUX
ajema-7662	215	25	a	a	DET
ajema-7662	215	26	g	g	NOUN
ajema-7662	215	27	-	-	PUNCT
ajema-7662	215	28	weakly	weakly	ADV
ajema-7662	215	29	contractive	contractive	ADJ
ajema-7662	215	30	mapping	mapping	NOUN
ajema-7662	215	31	or	or	CCONJ
ajema-7662	215	32	a	a	DET
ajema-7662	215	33	g	g	NOUN
ajema-7662	215	34	-	-	PUNCT
ajema-7662	215	35	φ	φ	VERB
ajema-7662	215	36	-	-	PUNCT
ajema-7662	215	37	weak	weak	ADJ
ajema-7662	215	38	contraction	contraction	NOUN
ajema-7662	215	39	.	.	PUNCT
ajema-7662	216	1	applying	apply	VERB
ajema-7662	216	2	our	our	PRON
ajema-7662	216	3	fixed	fix	VERB
ajema-7662	216	4	point	point	NOUN
ajema-7662	216	5	theorems	theorem	NOUN
ajema-7662	216	6	,	,	PUNCT
ajema-7662	216	7	we	we	PRON
ajema-7662	216	8	can	can	AUX
ajema-7662	216	9	establish	establish	VERB
ajema-7662	216	10	the	the	DET
ajema-7662	216	11	existence	existence	NOUN
ajema-7662	216	12	and	and	CCONJ
ajema-7662	216	13	uniqueness	uniqueness	NOUN
ajema-7662	216	14	of	of	ADP
ajema-7662	216	15	solutions	solution	NOUN
ajema-7662	216	16	to	to	ADP
ajema-7662	216	17	the	the	DET
ajema-7662	216	18	integral	integral	ADJ
ajema-7662	216	19	equation	equation	NOUN
ajema-7662	216	20	.	.	PUNCT
ajema-7662	217	1	theorem	theorem	VERB
ajema-7662	217	2	5.1	5.1	NUM
ajema-7662	217	3	.	.	PUNCT
ajema-7662	218	1	let	let	VERB
ajema-7662	218	2	f	f	X
ajema-7662	218	3	:	:	PUNCT
ajema-7662	219	1	[	[	X
ajema-7662	219	2	a	a	X
ajema-7662	219	3	,	,	PUNCT
ajema-7662	219	4	b	b	NOUN
ajema-7662	219	5	]	]	X
ajema-7662	219	6	→	→	PUNCT
ajema-7662	219	7	ℝ	ℝ	PROPN
ajema-7662	219	8	be	be	AUX
ajema-7662	219	9	continuous	continuous	ADJ
ajema-7662	219	10	,	,	PUNCT
ajema-7662	219	11	and	and	CCONJ
ajema-7662	219	12	let	let	VERB
ajema-7662	219	13	k	k	NOUN
ajema-7662	219	14	:	:	PUNCT
ajema-7662	219	15	[	[	X
ajema-7662	219	16	a	a	X
ajema-7662	219	17	,	,	PUNCT
ajema-7662	219	18	b	b	NOUN
ajema-7662	219	19	]	]	X
ajema-7662	219	20	×	×	NOUN
ajema-7662	219	21	[	[	X
ajema-7662	219	22	a	a	X
ajema-7662	219	23	,	,	PUNCT
ajema-7662	219	24	b	b	NOUN
ajema-7662	219	25	]	]	X
ajema-7662	219	26	×	×	NOUN
ajema-7662	219	27	ℝ	ℝ	PROPN
ajema-7662	219	28	→	→	PUNCT
ajema-7662	219	29	ℝ	ℝ	PROPN
ajema-7662	219	30	be	be	AUX
ajema-7662	219	31	continuous	continuous	ADJ
ajema-7662	219	32	.	.	PUNCT
ajema-7662	220	1	suppose	suppose	VERB
ajema-7662	220	2	there	there	PRON
ajema-7662	220	3	exists	exist	VERB
ajema-7662	220	4	a	a	DET
ajema-7662	220	5	continuous	continuous	ADJ
ajema-7662	220	6	function	function	NOUN
ajema-7662	220	7	φ	φ	NOUN
ajema-7662	220	8	:	:	PUNCT
ajema-7662	221	1	[	[	X
ajema-7662	221	2	0	0	NUM
ajema-7662	221	3	,	,	PUNCT
ajema-7662	221	4	∞	∞	PROPN
ajema-7662	221	5	)	)	PUNCT
ajema-7662	221	6	→	→	PUNCT
ajema-7662	222	1	[	[	X
ajema-7662	222	2	0	0	NUM
ajema-7662	222	3	,	,	PUNCT
ajema-7662	222	4	∞	∞	PROPN
ajema-7662	222	5	)	)	PUNCT
ajema-7662	222	6	with	with	ADP
ajema-7662	222	7	φ(0	φ(0	ADJ
ajema-7662	222	8	)	)	PUNCT
ajema-7662	222	9	=	=	SYM
ajema-7662	222	10	0	0	NUM
ajema-7662	222	11	and	and	CCONJ
ajema-7662	222	12	φ(t	φ(t	PROPN
ajema-7662	222	13	)	)	PUNCT
ajema-7662	222	14	>	>	X
ajema-7662	222	15	0	0	PUNCT
ajema-7662	223	1	for	for	ADP
ajema-7662	223	2	all	all	DET
ajema-7662	223	3	t	t	PROPN
ajema-7662	223	4	>	>	X
ajema-7662	223	5	0	0	NUM
ajema-7662	223	6	such	such	ADJ
ajema-7662	223	7	that	that	PRON
ajema-7662	223	8	|k(t	|k(t	PROPN
ajema-7662	223	9	,	,	PUNCT
ajema-7662	223	10	s	s	PROPN
ajema-7662	223	11	,	,	PUNCT
ajema-7662	223	12	u	u	NOUN
ajema-7662	223	13	)	)	PUNCT
ajema-7662	223	14	k(t	k(t	PROPN
ajema-7662	223	15	,	,	PUNCT
ajema-7662	223	16	s	s	PART
ajema-7662	223	17	,	,	PUNCT
ajema-7662	223	18	v)|	v)|	ADJ
ajema-7662	223	19	≤	≤	X
ajema-7662	223	20	(	(	PUNCT
ajema-7662	223	21	1/(b	1/(b	NUM
ajema-7662	223	22	-	-	PUNCT
ajema-7662	223	23	a	a	PRON
ajema-7662	223	24	)	)	PUNCT
ajema-7662	223	25	)	)	PUNCT
ajema-7662	223	26	·	·	PUNCT
ajema-7662	223	27	|u	|u	ADP
ajema-7662	223	28	v|	v|	NOUN
ajema-7662	223	29	(	(	PUNCT
ajema-7662	223	30	1/(b	1/(b	PROPN
ajema-7662	223	31	-	-	PUNCT
ajema-7662	223	32	a	a	NOUN
ajema-7662	223	33	)	)	PUNCT
ajema-7662	223	34	)	)	PUNCT
ajema-7662	223	35	·	·	PUNCT
ajema-7662	223	36	φ(|u	φ(|u	VERB
ajema-7662	223	37	v|	v|	NOUN
ajema-7662	223	38	)	)	PUNCT
ajema-7662	223	39	for	for	ADP
ajema-7662	223	40	all	all	DET
ajema-7662	223	41	t	t	PROPN
ajema-7662	223	42	,	,	PUNCT
ajema-7662	223	43	s	s	PART
ajema-7662	223	44	∈	∈	PROPN
ajema-7662	223	45	[	[	X
ajema-7662	223	46	a	a	X
ajema-7662	223	47	,	,	PUNCT
ajema-7662	223	48	b	b	NOUN
ajema-7662	223	49	]	]	X
ajema-7662	223	50	and	and	CCONJ
ajema-7662	223	51	u	u	NOUN
ajema-7662	223	52	,	,	PUNCT
ajema-7662	223	53	v	v	NOUN
ajema-7662	223	54	∈	∈	PROPN
ajema-7662	223	55	ℝ.	ℝ.	PROPN
ajema-7662	223	56	then	then	ADV
ajema-7662	223	57	the	the	DET
ajema-7662	223	58	integral	integral	ADJ
ajema-7662	223	59	equation	equation	NOUN
ajema-7662	223	60	has	have	VERB
ajema-7662	223	61	a	a	DET
ajema-7662	223	62	unique	unique	ADJ
ajema-7662	223	63	solution	solution	NOUN
ajema-7662	223	64	in	in	ADP
ajema-7662	223	65	c([a	c([a	PROPN
ajema-7662	223	66	,	,	PUNCT
ajema-7662	223	67	b	b	NOUN
ajema-7662	223	68	]	]	X
ajema-7662	223	69	,	,	PUNCT
ajema-7662	223	70	ℝ	ℝ	PROPN
ajema-7662	223	71	)	)	PUNCT
ajema-7662	223	72	.	.	PUNCT
ajema-7662	224	1	proof	proof	NOUN
ajema-7662	224	2	.	.	PUNCT
ajema-7662	225	1	the	the	DET
ajema-7662	225	2	proof	proof	NOUN
ajema-7662	225	3	follows	follow	VERB
ajema-7662	225	4	by	by	ADP
ajema-7662	225	5	verifying	verify	VERB
ajema-7662	225	6	that	that	SCONJ
ajema-7662	225	7	the	the	DET
ajema-7662	225	8	operator	operator	NOUN
ajema-7662	225	9	t	t	PROPN
ajema-7662	225	10	defined	define	VERB
ajema-7662	225	11	above	above	ADV
ajema-7662	225	12	is	be	AUX
ajema-7662	225	13	a	a	DET
ajema-7662	225	14	g	g	NOUN
ajema-7662	225	15	-	-	PUNCT
ajema-7662	225	16	weakly	weakly	ADV
ajema-7662	225	17	contractive	contractive	ADJ
ajema-7662	225	18	mapping	mapping	NOUN
ajema-7662	225	19	and	and	CCONJ
ajema-7662	225	20	applying	apply	VERB
ajema-7662	225	21	theorem	theorem	NOUN
ajema-7662	225	22	3.2	3.2	NUM
ajema-7662	225	23	.	.	PUNCT
ajema-7662	226	1	6	6	NUM
ajema-7662	226	2	.	.	X
ajema-7662	226	3	conclusion	conclusion	NOUN
ajema-7662	226	4	and	and	CCONJ
ajema-7662	226	5	future	future	ADJ
ajema-7662	226	6	directions	direction	NOUN
ajema-7662	226	7	in	in	ADP
ajema-7662	226	8	this	this	DET
ajema-7662	226	9	paper	paper	NOUN
ajema-7662	226	10	,	,	PUNCT
ajema-7662	226	11	we	we	PRON
ajema-7662	226	12	have	have	AUX
ajema-7662	226	13	established	establish	VERB
ajema-7662	226	14	several	several	ADJ
ajema-7662	226	15	fixed	fix	VERB
ajema-7662	226	16	point	point	NOUN
ajema-7662	226	17	theorems	theorem	NOUN
ajema-7662	226	18	for	for	ADP
ajema-7662	226	19	weakly	weakly	ADJ
ajema-7662	226	20	contractive	contractive	ADJ
ajema-7662	226	21	mappings	mapping	NOUN
ajema-7662	226	22	in	in	ADP
ajema-7662	226	23	g	g	NOUN
ajema-7662	226	24	-	-	PUNCT
ajema-7662	226	25	metric	metric	ADJ
ajema-7662	226	26	spaces	space	NOUN
ajema-7662	226	27	.	.	PUNCT
ajema-7662	227	1	our	our	PRON
ajema-7662	227	2	results	result	NOUN
ajema-7662	227	3	extend	extend	VERB
ajema-7662	227	4	both	both	CCONJ
ajema-7662	227	5	the	the	DET
ajema-7662	227	6	classical	classical	ADJ
ajema-7662	227	7	fixed	fix	VERB
ajema-7662	227	8	point	point	NOUN
ajema-7662	227	9	theorems	theorem	NOUN
ajema-7662	227	10	in	in	ADP
ajema-7662	227	11	metric	metric	ADJ
ajema-7662	227	12	spaces	space	NOUN
ajema-7662	227	13	and	and	CCONJ
ajema-7662	227	14	the	the	DET
ajema-7662	227	15	more	more	ADV
ajema-7662	227	16	recent	recent	ADJ
ajema-7662	227	17	developments	development	NOUN
ajema-7662	227	18	in	in	ADP
ajema-7662	227	19	g	g	NOUN
ajema-7662	227	20	-	-	PUNCT
ajema-7662	227	21	metric	metric	ADJ
ajema-7662	227	22	spaces	space	NOUN
ajema-7662	227	23	.	.	PUNCT
ajema-7662	228	1	we	we	PRON
ajema-7662	228	2	have	have	AUX
ajema-7662	228	3	introduced	introduce	VERB
ajema-7662	228	4	various	various	ADJ
ajema-7662	228	5	classes	class	NOUN
ajema-7662	228	6	of	of	ADP
ajema-7662	228	7	weakly	weakly	ADJ
ajema-7662	228	8	contractive	contractive	ADJ
ajema-7662	228	9	mappings	mapping	NOUN
ajema-7662	228	10	,	,	PUNCT
ajema-7662	228	11	including	include	VERB
ajema-7662	228	12	g	g	NOUN
ajema-7662	228	13	-	-	PUNCT
ajema-7662	228	14	weakly	weakly	ADJ
ajema-7662	228	15	contractive	contractive	ADJ
ajema-7662	228	16	mappings	mapping	NOUN
ajema-7662	228	17	,	,	PUNCT
ajema-7662	228	18	g	g	PROPN
ajema-7662	228	19	-	-	PUNCT
ajema-7662	228	20	φ	φ	VERB
ajema-7662	228	21	-	-	PUNCT
ajema-7662	228	22	weak	weak	ADJ
ajema-7662	228	23	contractions	contraction	NOUN
ajema-7662	228	24	,	,	PUNCT
ajema-7662	228	25	generalized	generalize	VERB
ajema-7662	228	26	g	g	NOUN
ajema-7662	228	27	-	-	PUNCT
ajema-7662	228	28	weakly	weakly	ADJ
ajema-7662	228	29	contractive	contractive	ADJ
ajema-7662	228	30	mappings	mapping	NOUN
ajema-7662	228	31	,	,	PUNCT
ajema-7662	228	32	and	and	CCONJ
ajema-7662	228	33	ćirić	ćirić	NOUN
ajema-7662	228	34	-	-	PUNCT
ajema-7662	228	35	type	type	NOUN
ajema-7662	228	36	g	g	NOUN
ajema-7662	228	37	-	-	PUNCT
ajema-7662	228	38	contractions	contraction	NOUN
ajema-7662	228	39	,	,	PUNCT
ajema-7662	228	40	and	and	CCONJ
ajema-7662	228	41	have	have	AUX
ajema-7662	228	42	provided	provide	VERB
ajema-7662	228	43	existence	existence	NOUN
ajema-7662	228	44	and	and	CCONJ
ajema-7662	228	45	uniqueness	uniqueness	ADJ
ajema-7662	228	46	theorems	theorem	NOUN
ajema-7662	228	47	for	for	ADP
ajema-7662	228	48	fixed	fix	VERB
ajema-7662	228	49	points	point	NOUN
ajema-7662	228	50	under	under	ADP
ajema-7662	228	51	these	these	DET
ajema-7662	228	52	contractive	contractive	ADJ
ajema-7662	228	53	conditions	condition	NOUN
ajema-7662	228	54	.	.	PUNCT
ajema-7662	229	1	through	through	ADP
ajema-7662	229	2	examples	example	NOUN
ajema-7662	229	3	,	,	PUNCT
ajema-7662	229	4	we	we	PRON
ajema-7662	229	5	have	have	AUX
ajema-7662	229	6	illustrated	illustrate	VERB
ajema-7662	229	7	the	the	DET
ajema-7662	229	8	applicability	applicability	NOUN
ajema-7662	229	9	of	of	ADP
ajema-7662	229	10	our	our	PRON
ajema-7662	229	11	theoretical	theoretical	ADJ
ajema-7662	229	12	findings	finding	NOUN
ajema-7662	229	13	and	and	CCONJ
ajema-7662	229	14	have	have	AUX
ajema-7662	229	15	demonstrated	demonstrate	VERB
ajema-7662	229	16	that	that	SCONJ
ajema-7662	229	17	our	our	PRON
ajema-7662	229	18	results	result	NOUN
ajema-7662	229	19	properly	properly	ADV
ajema-7662	229	20	extend	extend	VERB
ajema-7662	229	21	the	the	DET
ajema-7662	229	22	existing	exist	VERB
ajema-7662	229	23	literature	literature	NOUN
ajema-7662	229	24	.	.	PUNCT
ajema-7662	230	1	additionally	additionally	ADV
ajema-7662	230	2	,	,	PUNCT
ajema-7662	230	3	we	we	PRON
ajema-7662	230	4	have	have	AUX
ajema-7662	230	5	discussed	discuss	VERB
ajema-7662	230	6	applications	application	NOUN
ajema-7662	230	7	to	to	PART
ajema-7662	230	8	nonlinear	nonlinear	VERB
ajema-7662	230	9	integral	integral	ADJ
ajema-7662	230	10	equations	equation	NOUN
ajema-7662	230	11	,	,	PUNCT
ajema-7662	230	12	highlighting	highlight	VERB
ajema-7662	230	13	the	the	DET
ajema-7662	230	14	practical	practical	ADJ
ajema-7662	230	15	relevance	relevance	NOUN
ajema-7662	230	16	of	of	ADP
ajema-7662	230	17	our	our	PRON
ajema-7662	230	18	fixed	fix	VERB
ajema-7662	230	19	point	point	NOUN
ajema-7662	230	20	theorems	theorem	NOUN
ajema-7662	230	21	.	.	PUNCT
ajema-7662	231	1	several	several	ADJ
ajema-7662	231	2	directions	direction	NOUN
ajema-7662	231	3	for	for	ADP
ajema-7662	231	4	future	future	ADJ
ajema-7662	231	5	research	research	NOUN
ajema-7662	231	6	emerge	emerge	VERB
ajema-7662	231	7	from	from	ADP
ajema-7662	231	8	this	this	DET
ajema-7662	231	9	work	work	NOUN
ajema-7662	231	10	:	:	PUNCT
ajema-7662	232	1	1	1	X
ajema-7662	232	2	.	.	PUNCT
ajema-7662	232	3	the	the	DET
ajema-7662	232	4	study	study	NOUN
ajema-7662	232	5	of	of	ADP
ajema-7662	232	6	common	common	ADJ
ajema-7662	232	7	fixed	fix	VERB
ajema-7662	232	8	points	point	NOUN
ajema-7662	232	9	for	for	ADP
ajema-7662	232	10	pairs	pair	NOUN
ajema-7662	232	11	or	or	CCONJ
ajema-7662	232	12	families	family	NOUN
ajema-7662	232	13	of	of	ADP
ajema-7662	232	14	weakly	weakly	ADJ
ajema-7662	232	15	contractive	contractive	ADJ
ajema-7662	232	16	mappings	mapping	NOUN
ajema-7662	232	17	in	in	ADP
ajema-7662	232	18	gmetric	gmetric	ADJ
ajema-7662	232	19	spaces	space	NOUN
ajema-7662	232	20	.	.	PUNCT
ajema-7662	233	1	2	2	X
ajema-7662	233	2	.	.	X
ajema-7662	233	3	the	the	DET
ajema-7662	233	4	investigation	investigation	NOUN
ajema-7662	233	5	of	of	ADP
ajema-7662	233	6	fixed	fix	VERB
ajema-7662	233	7	points	point	NOUN
ajema-7662	233	8	for	for	ADP
ajema-7662	233	9	set	set	NOUN
ajema-7662	233	10	-	-	PUNCT
ajema-7662	233	11	valued	value	VERB
ajema-7662	233	12	weakly	weakly	ADJ
ajema-7662	233	13	contractive	contractive	ADJ
ajema-7662	233	14	mappings	mapping	NOUN
ajema-7662	233	15	in	in	ADP
ajema-7662	233	16	g	g	NOUN
ajema-7662	233	17	-	-	PUNCT
ajema-7662	233	18	metric	metric	ADJ
ajema-7662	233	19	spaces	space	NOUN
ajema-7662	233	20	.	.	PUNCT
ajema-7662	234	1	3	3	X
ajema-7662	234	2	.	.	X
ajema-7662	234	3	the	the	DET
ajema-7662	234	4	exploration	exploration	NOUN
ajema-7662	234	5	of	of	ADP
ajema-7662	234	6	fixed	fix	VERB
ajema-7662	234	7	point	point	NOUN
ajema-7662	234	8	theorems	theorem	NOUN
ajema-7662	234	9	for	for	ADP
ajema-7662	234	10	weakly	weakly	ADJ
ajema-7662	234	11	contractive	contractive	ADJ
ajema-7662	234	12	mappings	mapping	NOUN
ajema-7662	234	13	in	in	ADP
ajema-7662	234	14	other	other	ADJ
ajema-7662	234	15	generalized	generalized	ADJ
ajema-7662	234	16	metric	metric	ADJ
ajema-7662	234	17	spaces	space	NOUN
ajema-7662	234	18	,	,	PUNCT
ajema-7662	234	19	such	such	ADJ
ajema-7662	234	20	as	as	ADP
ajema-7662	234	21	partial	partial	ADJ
ajema-7662	234	22	metric	metric	ADJ
ajema-7662	234	23	spaces	space	NOUN
ajema-7662	234	24	,	,	PUNCT
ajema-7662	234	25	quasi	quasi	ADJ
ajema-7662	234	26	-	-	ADJ
ajema-7662	234	27	metric	metric	ADJ
ajema-7662	234	28	spaces	space	NOUN
ajema-7662	234	29	,	,	PUNCT
ajema-7662	234	30	and	and	CCONJ
ajema-7662	234	31	b	b	X
ajema-7662	234	32	-	-	PUNCT
ajema-7662	234	33	metric	metric	ADJ
ajema-7662	234	34	spaces	space	NOUN
ajema-7662	234	35	.	.	PUNCT
ajema-7662	235	1	4	4	X
ajema-7662	235	2	.	.	X
ajema-7662	235	3	the	the	DET
ajema-7662	235	4	application	application	NOUN
ajema-7662	235	5	of	of	ADP
ajema-7662	235	6	our	our	PRON
ajema-7662	235	7	results	result	NOUN
ajema-7662	235	8	to	to	ADP
ajema-7662	235	9	different	different	ADJ
ajema-7662	235	10	types	type	NOUN
ajema-7662	235	11	of	of	ADP
ajema-7662	235	12	nonlinear	nonlinear	ADJ
ajema-7662	235	13	equations	equation	NOUN
ajema-7662	235	14	,	,	PUNCT
ajema-7662	235	15	including	include	VERB
ajema-7662	235	16	differential	differential	ADJ
ajema-7662	235	17	equations	equation	NOUN
ajema-7662	235	18	and	and	CCONJ
ajema-7662	235	19	variational	variational	ADJ
ajema-7662	235	20	inequalities	inequality	NOUN
ajema-7662	235	21	.	.	PUNCT
ajema-7662	236	1	5	5	X
ajema-7662	236	2	.	.	X
ajema-7662	236	3	the	the	DET
ajema-7662	236	4	development	development	NOUN
ajema-7662	236	5	of	of	ADP
ajema-7662	236	6	iterative	iterative	ADJ
ajema-7662	236	7	methods	method	NOUN
ajema-7662	236	8	based	base	VERB
ajema-7662	236	9	on	on	ADP
ajema-7662	236	10	our	our	PRON
ajema-7662	236	11	fixed	fix	VERB
ajema-7662	236	12	point	point	NOUN
ajema-7662	236	13	theorems	theorem	NOUN
ajema-7662	236	14	for	for	ADP
ajema-7662	236	15	the	the	DET
ajema-7662	236	16	numerical	numerical	ADJ
ajema-7662	236	17	approximation	approximation	NOUN
ajema-7662	236	18	of	of	ADP
ajema-7662	236	19	solutions	solution	NOUN
ajema-7662	236	20	to	to	ADP
ajema-7662	236	21	nonlinear	nonlinear	ADJ
ajema-7662	236	22	equations	equation	NOUN
ajema-7662	236	23	.	.	PUNCT
ajema-7662	237	1	176	176	NUM
ajema-7662	237	2	journal	journal	NOUN
ajema-7662	237	3	of	of	ADP
ajema-7662	237	4	engineering	engineering	NOUN
ajema-7662	237	5	,	,	PUNCT
ajema-7662	237	6	mechanics	mechanic	NOUN
ajema-7662	237	7	and	and	CCONJ
ajema-7662	237	8	architecture	architecture	NOUN
ajema-7662	237	9	www	www	NOUN
ajema-7662	237	10	.	.	PUNCT
ajema-7662	238	1	grnjournal.us	grnjournal.us	X
ajema-7662	238	2	these	these	DET
ajema-7662	238	3	potential	potential	ADJ
ajema-7662	238	4	research	research	NOUN
ajema-7662	238	5	directions	direction	NOUN
ajema-7662	238	6	could	could	AUX
ajema-7662	238	7	further	far	ADV
ajema-7662	238	8	enhance	enhance	VERB
ajema-7662	238	9	our	our	PRON
ajema-7662	238	10	understanding	understanding	NOUN
ajema-7662	238	11	of	of	ADP
ajema-7662	238	12	fixed	fix	VERB
ajema-7662	238	13	point	point	NOUN
ajema-7662	238	14	theory	theory	NOUN
ajema-7662	238	15	in	in	ADP
ajema-7662	238	16	generalized	generalized	ADJ
ajema-7662	238	17	metric	metric	ADJ
ajema-7662	238	18	spaces	space	NOUN
ajema-7662	238	19	and	and	CCONJ
ajema-7662	238	20	expand	expand	VERB
ajema-7662	238	21	the	the	DET
ajema-7662	238	22	applicability	applicability	NOUN
ajema-7662	238	23	of	of	ADP
ajema-7662	238	24	these	these	DET
ajema-7662	238	25	theoretical	theoretical	ADJ
ajema-7662	238	26	results	result	NOUN
ajema-7662	238	27	to	to	ADP
ajema-7662	238	28	practical	practical	ADJ
ajema-7662	238	29	problems	problem	NOUN
ajema-7662	238	30	.	.	PUNCT
ajema-7662	239	1	references	reference	NOUN
ajema-7662	239	2	1	1	NUM
ajema-7662	239	3	.	.	X
ajema-7662	239	4	alber	alber	PROPN
ajema-7662	239	5	,	,	PUNCT
ajema-7662	239	6	y.	y.	PROPN
ajema-7662	239	7	i.	i.	PROPN
ajema-7662	239	8	,	,	PUNCT
ajema-7662	239	9	&	&	CCONJ
ajema-7662	239	10	guerre	guerre	PROPN
ajema-7662	239	11	-	-	PUNCT
ajema-7662	239	12	delabriere	delabriere	PROPN
ajema-7662	239	13	,	,	PUNCT
ajema-7662	239	14	s.	s.	PROPN
ajema-7662	239	15	(	(	PUNCT
ajema-7662	239	16	1997	1997	NUM
ajema-7662	239	17	)	)	PUNCT
ajema-7662	239	18	.	.	PUNCT
ajema-7662	240	1	principle	principle	NOUN
ajema-7662	240	2	of	of	ADP
ajema-7662	240	3	weakly	weakly	ADJ
ajema-7662	240	4	contractive	contractive	ADJ
ajema-7662	240	5	maps	map	NOUN
ajema-7662	240	6	in	in	ADP
ajema-7662	240	7	hilbert	hilbert	PROPN
ajema-7662	240	8	spaces	space	NOUN
ajema-7662	240	9	.	.	PUNCT
ajema-7662	241	1	in	in	ADP
ajema-7662	241	2	i.	i.	PROPN
ajema-7662	241	3	gohberg	gohberg	PROPN
ajema-7662	241	4	&	&	CCONJ
ajema-7662	241	5	y.	y.	PROPN
ajema-7662	241	6	lyubich	lyubich	PROPN
ajema-7662	241	7	(	(	PUNCT
ajema-7662	241	8	eds	ed	NOUN
ajema-7662	241	9	.	.	PUNCT
ajema-7662	241	10	)	)	PUNCT
ajema-7662	241	11	,	,	PUNCT
ajema-7662	241	12	new	new	ADJ
ajema-7662	241	13	results	result	NOUN
ajema-7662	241	14	in	in	ADP
ajema-7662	241	15	operator	operator	NOUN
ajema-7662	241	16	theory	theory	NOUN
ajema-7662	241	17	and	and	CCONJ
ajema-7662	241	18	its	its	PRON
ajema-7662	241	19	applications	application	NOUN
ajema-7662	241	20	(	(	PUNCT
ajema-7662	241	21	pp	pp	ADJ
ajema-7662	241	22	.	.	PUNCT
ajema-7662	242	1	7	7	NUM
ajema-7662	242	2	-	-	SYM
ajema-7662	242	3	22	22	NUM
ajema-7662	242	4	)	)	PUNCT
ajema-7662	242	5	.	.	PUNCT
ajema-7662	243	1	birkhäuser	birkhäuser	PROPN
ajema-7662	243	2	basel	basel	PROPN
ajema-7662	243	3	.	.	PUNCT
ajema-7662	244	1	2	2	X
ajema-7662	244	2	.	.	X
ajema-7662	244	3	banach	banach	NOUN
ajema-7662	244	4	,	,	PUNCT
ajema-7662	244	5	s.	s.	PROPN
ajema-7662	244	6	(	(	PUNCT
ajema-7662	244	7	1922	1922	NUM
ajema-7662	244	8	)	)	PUNCT
ajema-7662	244	9	.	.	PUNCT
ajema-7662	245	1	sur	sur	PROPN
ajema-7662	245	2	les	les	PROPN
ajema-7662	245	3	opérations	opération	NOUN
ajema-7662	245	4	dans	dan	NOUN
ajema-7662	245	5	les	les	X
ajema-7662	245	6	ensembles	ensemble	NOUN
ajema-7662	245	7	abstraits	abstrait	NOUN
ajema-7662	245	8	et	et	PROPN
ajema-7662	245	9	leur	leur	X
ajema-7662	245	10	application	application	PROPN
ajema-7662	245	11	aux	aux	PROPN
ajema-7662	245	12	équations	équations	PROPN
ajema-7662	245	13	intégrales	intégrale	NOUN
ajema-7662	245	14	.	.	PUNCT
ajema-7662	246	1	fundamenta	fundamenta	PROPN
ajema-7662	246	2	mathematicae	mathematicae	PROPN
ajema-7662	246	3	,	,	PUNCT
ajema-7662	246	4	3(1	3(1	NUM
ajema-7662	246	5	)	)	PUNCT
ajema-7662	246	6	,	,	PUNCT
ajema-7662	246	7	133	133	NUM
ajema-7662	246	8	-	-	SYM
ajema-7662	246	9	181	181	NUM
ajema-7662	246	10	.	.	PUNCT
ajema-7662	247	1	3	3	X
ajema-7662	247	2	.	.	X
ajema-7662	247	3	ćirić	ćirić	PROPN
ajema-7662	247	4	,	,	PUNCT
ajema-7662	247	5	l.	l.	PROPN
ajema-7662	247	6	b.	b.	PROPN
ajema-7662	247	7	(	(	PUNCT
ajema-7662	247	8	1974	1974	NUM
ajema-7662	247	9	)	)	PUNCT
ajema-7662	247	10	.	.	PUNCT
ajema-7662	248	1	a	a	DET
ajema-7662	248	2	generalization	generalization	NOUN
ajema-7662	248	3	of	of	ADP
ajema-7662	248	4	banach	banach	NOUN
ajema-7662	248	5	's	's	PART
ajema-7662	248	6	contraction	contraction	NOUN
ajema-7662	248	7	principle	principle	NOUN
ajema-7662	248	8	.	.	PUNCT
ajema-7662	249	1	proceedings	proceeding	NOUN
ajema-7662	249	2	of	of	ADP
ajema-7662	249	3	the	the	DET
ajema-7662	249	4	american	american	PROPN
ajema-7662	249	5	mathematical	mathematical	PROPN
ajema-7662	249	6	society	society	NOUN
ajema-7662	249	7	,	,	PUNCT
ajema-7662	249	8	45(2	45(2	NOUN
ajema-7662	249	9	)	)	PUNCT
ajema-7662	249	10	,	,	PUNCT
ajema-7662	249	11	267	267	NUM
ajema-7662	249	12	-	-	SYM
ajema-7662	249	13	273	273	NUM
ajema-7662	249	14	.	.	NOUN
ajema-7662	249	15	4	4	NUM
ajema-7662	249	16	.	.	X
ajema-7662	249	17	mustafa	mustafa	PROPN
ajema-7662	249	18	,	,	PUNCT
ajema-7662	249	19	z.	z.	PROPN
ajema-7662	249	20	,	,	PUNCT
ajema-7662	249	21	&	&	CCONJ
ajema-7662	249	22	sims	sim	NOUN
ajema-7662	249	23	,	,	PUNCT
ajema-7662	249	24	b.	b.	PROPN
ajema-7662	249	25	(	(	PUNCT
ajema-7662	249	26	2006	2006	NUM
ajema-7662	249	27	)	)	PUNCT
ajema-7662	249	28	.	.	PUNCT
ajema-7662	250	1	a	a	DET
ajema-7662	250	2	new	new	ADJ
ajema-7662	250	3	approach	approach	NOUN
ajema-7662	250	4	to	to	ADP
ajema-7662	250	5	generalized	generalize	VERB
ajema-7662	250	6	metric	metric	ADJ
ajema-7662	250	7	spaces	space	NOUN
ajema-7662	250	8	.	.	PUNCT
ajema-7662	251	1	journal	journal	PROPN
ajema-7662	251	2	of	of	ADP
ajema-7662	251	3	nonlinear	nonlinear	ADJ
ajema-7662	251	4	and	and	CCONJ
ajema-7662	251	5	convex	convex	ADJ
ajema-7662	251	6	analysis	analysis	NOUN
ajema-7662	251	7	,	,	PUNCT
ajema-7662	251	8	7(2	7(2	NUM
ajema-7662	251	9	)	)	PUNCT
ajema-7662	251	10	,	,	PUNCT
ajema-7662	251	11	289	289	NUM
ajema-7662	251	12	-	-	SYM
ajema-7662	251	13	297	297	NUM
ajema-7662	251	14	.	.	PUNCT
ajema-7662	252	1	5	5	NUM
ajema-7662	252	2	.	.	X
ajema-7662	252	3	mustafa	mustafa	PROPN
ajema-7662	252	4	,	,	PUNCT
ajema-7662	252	5	z.	z.	PROPN
ajema-7662	252	6	,	,	PUNCT
ajema-7662	252	7	sims	sim	NOUN
ajema-7662	252	8	,	,	PUNCT
ajema-7662	252	9	b.	b.	PROPN
ajema-7662	252	10	,	,	PUNCT
ajema-7662	252	11	&	&	CCONJ
ajema-7662	252	12	qasim	qasim	PROPN
ajema-7662	252	13	,	,	PUNCT
ajema-7662	252	14	h.	h.	PROPN
ajema-7662	252	15	(	(	PUNCT
ajema-7662	252	16	2010	2010	NUM
ajema-7662	252	17	)	)	PUNCT
ajema-7662	252	18	.	.	PUNCT
ajema-7662	253	1	common	common	ADJ
ajema-7662	253	2	fixed	fix	VERB
ajema-7662	253	3	points	point	NOUN
ajema-7662	253	4	of	of	ADP
ajema-7662	253	5	φ	φ	NOUN
ajema-7662	253	6	-	-	PUNCT
ajema-7662	253	7	mappings	mapping	NOUN
ajema-7662	253	8	in	in	ADP
ajema-7662	253	9	g	g	NOUN
ajema-7662	253	10	-	-	PUNCT
ajema-7662	253	11	metric	metric	ADJ
ajema-7662	253	12	spaces	space	NOUN
ajema-7662	253	13	.	.	PUNCT
ajema-7662	254	1	applied	apply	VERB
ajema-7662	254	2	mathematics	mathematic	NOUN
ajema-7662	254	3	and	and	CCONJ
ajema-7662	254	4	computation	computation	NOUN
ajema-7662	254	5	,	,	PUNCT
ajema-7662	254	6	217(1	217(1	NUM
ajema-7662	254	7	)	)	PUNCT
ajema-7662	254	8	,	,	PUNCT
ajema-7662	254	9	195	195	NUM
ajema-7662	254	10	-	-	SYM
ajema-7662	254	11	202	202	NUM
ajema-7662	254	12	.	.	NOUN
ajema-7662	254	13	6	6	NUM
ajema-7662	254	14	.	.	X
ajema-7662	254	15	rhoades	rhoade	NOUN
ajema-7662	254	16	,	,	PUNCT
ajema-7662	254	17	b.	b.	PROPN
ajema-7662	254	18	e.	e.	PROPN
ajema-7662	254	19	(	(	PUNCT
ajema-7662	254	20	2001	2001	NUM
ajema-7662	254	21	)	)	PUNCT
ajema-7662	254	22	.	.	PUNCT
ajema-7662	255	1	some	some	DET
ajema-7662	255	2	theorems	theorem	NOUN
ajema-7662	255	3	on	on	ADP
ajema-7662	255	4	weakly	weakly	ADJ
ajema-7662	255	5	contractive	contractive	ADJ
ajema-7662	255	6	maps	map	NOUN
ajema-7662	255	7	.	.	PUNCT
ajema-7662	256	1	nonlinear	nonlinear	ADJ
ajema-7662	256	2	analysis	analysis	NOUN
ajema-7662	256	3	:	:	PUNCT
ajema-7662	256	4	theory	theory	NOUN
ajema-7662	256	5	,	,	PUNCT
ajema-7662	256	6	methods	method	NOUN
ajema-7662	256	7	&	&	CCONJ
ajema-7662	256	8	applications	application	NOUN
ajema-7662	256	9	,	,	PUNCT
ajema-7662	256	10	47(4	47(4	NUM
ajema-7662	256	11	)	)	PUNCT
ajema-7662	256	12	,	,	PUNCT
ajema-7662	256	13	2683	2683	NUM
ajema-7662	256	14	-	-	SYM
ajema-7662	256	15	2693	2693	NUM
ajema-7662	256	16	.	.	PUNCT
ajema-7662	257	1	7	7	X
ajema-7662	257	2	.	.	X
ajema-7662	257	3	samet	samet	PROPN
ajema-7662	257	4	,	,	PUNCT
ajema-7662	257	5	b.	b.	PROPN
ajema-7662	257	6	,	,	PUNCT
ajema-7662	257	7	vetro	vetro	PROPN
ajema-7662	257	8	,	,	PUNCT
ajema-7662	257	9	c.	c.	PROPN
ajema-7662	257	10	,	,	PUNCT
ajema-7662	257	11	&	&	CCONJ
ajema-7662	257	12	vetro	vetro	PROPN
ajema-7662	257	13	,	,	PUNCT
ajema-7662	257	14	f.	f.	PROPN
ajema-7662	257	15	(	(	PUNCT
ajema-7662	257	16	2012	2012	NUM
ajema-7662	257	17	)	)	PUNCT
ajema-7662	257	18	.	.	PUNCT
ajema-7662	258	1	fixed	fix	VERB
ajema-7662	258	2	point	point	NOUN
ajema-7662	258	3	theorems	theorem	NOUN
ajema-7662	258	4	for	for	ADP
ajema-7662	258	5	α	α	NOUN
ajema-7662	258	6	-	-	PUNCT
ajema-7662	258	7	ψ	ψ	NOUN
ajema-7662	258	8	-	-	ADJ
ajema-7662	258	9	contractive	contractive	ADJ
ajema-7662	258	10	type	type	NOUN
ajema-7662	258	11	mappings	mapping	NOUN
ajema-7662	258	12	.	.	PUNCT
ajema-7662	259	1	nonlinear	nonlinear	ADJ
ajema-7662	259	2	analysis	analysis	NOUN
ajema-7662	259	3	:	:	PUNCT
ajema-7662	259	4	theory	theory	NOUN
ajema-7662	259	5	,	,	PUNCT
ajema-7662	259	6	methods	method	NOUN
ajema-7662	259	7	&	&	CCONJ
ajema-7662	259	8	applications	application	NOUN
ajema-7662	259	9	,	,	PUNCT
ajema-7662	259	10	75(4	75(4	NOUN
ajema-7662	259	11	)	)	PUNCT
ajema-7662	259	12	,	,	PUNCT
ajema-7662	259	13	2154	2154	NUM
ajema-7662	259	14	-	-	SYM
ajema-7662	259	15	2165	2165	NUM
ajema-7662	259	16	.	.	PUNCT
ajema-7662	260	1	8	8	NUM
ajema-7662	260	2	.	.	X
ajema-7662	260	3	shukla	shukla	NOUN
ajema-7662	260	4	,	,	PUNCT
ajema-7662	260	5	s.	s.	PROPN
ajema-7662	260	6	,	,	PUNCT
ajema-7662	260	7	&	&	CCONJ
ajema-7662	260	8	radenović	radenović	PROPN
ajema-7662	260	9	,	,	PUNCT
ajema-7662	260	10	s.	s.	PROPN
ajema-7662	260	11	(	(	PUNCT
ajema-7662	260	12	2014	2014	NUM
ajema-7662	260	13	)	)	PUNCT
ajema-7662	260	14	.	.	PUNCT
ajema-7662	261	1	some	some	DET
ajema-7662	261	2	common	common	ADJ
ajema-7662	261	3	fixed	fix	VERB
ajema-7662	261	4	point	point	NOUN
ajema-7662	261	5	theorems	theorem	NOUN
ajema-7662	261	6	for	for	ADP
ajema-7662	261	7	f	f	NOUN
ajema-7662	261	8	-	-	PUNCT
ajema-7662	261	9	contraction	contraction	NOUN
ajema-7662	261	10	type	type	NOUN
ajema-7662	261	11	mappings	mapping	NOUN
ajema-7662	261	12	in	in	ADP
ajema-7662	261	13	0	0	NUM
ajema-7662	261	14	-	-	PUNCT
ajema-7662	261	15	complete	complete	ADJ
ajema-7662	261	16	partial	partial	ADJ
ajema-7662	261	17	metric	metric	ADJ
ajema-7662	261	18	spaces	space	NOUN
ajema-7662	261	19	.	.	PUNCT
ajema-7662	262	1	journal	journal	NOUN
ajema-7662	262	2	of	of	ADP
ajema-7662	262	3	mathematics	mathematic	NOUN
ajema-7662	262	4	,	,	PUNCT
ajema-7662	262	5	2014	2014	NUM
ajema-7662	262	6	,	,	PUNCT
ajema-7662	262	7	article	article	NOUN
ajema-7662	262	8	i	i	PROPN
ajema-7662	262	9	d	d	PROPN
ajema-7662	262	10	790714	790714	NUM
ajema-7662	262	11	.	.	PUNCT
ajema-7662	263	1	9	9	NUM
ajema-7662	263	2	.	.	X
ajema-7662	263	3	suzuki	suzuki	PROPN
ajema-7662	263	4	,	,	PUNCT
ajema-7662	263	5	t.	t.	PROPN
ajema-7662	263	6	(	(	PUNCT
ajema-7662	263	7	2008	2008	NUM
ajema-7662	263	8	)	)	PUNCT
ajema-7662	263	9	.	.	PUNCT
ajema-7662	264	1	a	a	DET
ajema-7662	264	2	generalized	generalized	ADJ
ajema-7662	264	3	banach	banach	NOUN
ajema-7662	264	4	contraction	contraction	NOUN
ajema-7662	264	5	principle	principle	NOUN
ajema-7662	264	6	that	that	PRON
ajema-7662	264	7	characterizes	characterize	VERB
ajema-7662	264	8	metric	metric	ADJ
ajema-7662	264	9	completeness	completeness	NOUN
ajema-7662	264	10	.	.	PUNCT
ajema-7662	265	1	proceedings	proceeding	NOUN
ajema-7662	265	2	of	of	ADP
ajema-7662	265	3	the	the	DET
ajema-7662	265	4	american	american	PROPN
ajema-7662	265	5	mathematical	mathematical	PROPN
ajema-7662	265	6	society	society	NOUN
ajema-7662	265	7	,	,	PUNCT
ajema-7662	265	8	136(5	136(5	NUM
ajema-7662	265	9	)	)	PUNCT
ajema-7662	265	10	,	,	PUNCT
ajema-7662	265	11	1861	1861	NUM
ajema-7662	265	12	-	-	SYM
ajema-7662	265	13	1869	1869	NUM
ajema-7662	265	14	.	.	PUNCT
ajema-7662	266	1	10	10	NUM
ajema-7662	266	2	.	.	X
ajema-7662	266	3	wardowski	wardowski	PROPN
ajema-7662	266	4	,	,	PUNCT
ajema-7662	266	5	d.	d.	PROPN
ajema-7662	266	6	(	(	PUNCT
ajema-7662	266	7	2012	2012	NUM
ajema-7662	266	8	)	)	PUNCT
ajema-7662	266	9	.	.	PUNCT
ajema-7662	267	1	fixed	fix	VERB
ajema-7662	267	2	points	point	NOUN
ajema-7662	267	3	of	of	ADP
ajema-7662	267	4	a	a	DET
ajema-7662	267	5	new	new	ADJ
ajema-7662	267	6	type	type	NOUN
ajema-7662	267	7	of	of	ADP
ajema-7662	267	8	contractive	contractive	ADJ
ajema-7662	267	9	mappings	mapping	NOUN
ajema-7662	267	10	in	in	ADP
ajema-7662	267	11	complete	complete	ADJ
ajema-7662	267	12	metric	metric	ADJ
ajema-7662	267	13	spaces	space	NOUN
ajema-7662	267	14	.	.	PUNCT
ajema-7662	268	1	fixed	fix	VERB
ajema-7662	268	2	point	point	NOUN
ajema-7662	268	3	theory	theory	NOUN
ajema-7662	268	4	and	and	CCONJ
ajema-7662	268	5	applications	application	NOUN
ajema-7662	268	6	,	,	PUNCT
ajema-7662	268	7	2012(1	2012(1	NOUN
ajema-7662	268	8	)	)	PUNCT
ajema-7662	268	9	,	,	PUNCT
ajema-7662	268	10	1	1	NUM
ajema-7662	268	11	-	-	SYM
ajema-7662	268	12	6	6	NUM
ajema-7662	268	13	.	.	PUNCT